marinella petrocchi

Ph.D. in Information Engineering

Researcher at

Information Security Group
IIT -- Istituto di Informatica e Telematica,
CNR -- National Research Council,
Via Moruzzi, 1 -- 56124, Pisa, Italy
Entrance 7 - 1st Floor - Room B65A
Phone: +39 050 315 3432
Mobile: +39 348 8260773
Fax: +39 050 315 2593
E-mail:

Reporter: "Word is they're going to repeal Prohibition. What'll you do then?"
Eliot Ness: "I think I'll have drink."

-- The Untouchables (1987)

I co-organize 2 workshops:

EuroCAT 2009, in Pisa, Italy, next September, an event on Combining Context with Trust, Security, and Privacy. EuroCAT 2009 is co-located with ISC 2009, and EuroPKI 2009;

In Bio We Trust 2009, in Avignon, France, next December, an event on Bio-inspired Trust Management for Information Systems. In Bio We Trust 2009 is co-located with BIONETICS 2009. Proceedings published by Springer.

I co-organize a special session on Trust and Context in Ubiquitous Computing at IMIS 2010. Submission deadline: 28 September 2009. Proceedings published by IEEE Computer Society.

Research:

Formal Models for Security and Trust

Cooperation in Mobile ad Hoc Networks

Security Analysis with Team Automata

Formal Validation of Cryptographic Protocols

Papers 2002-2003-2004-2005-2006-2007-2008

Program chair of the Special Session on Trust in Pervasive Systems and Networks at SECRYPT 2008. Presentations available.

Program Committee member of BIONETICS 2009 , SECRYPT 2009 , ICSNC 2009 .

Everything You Always Wanted to Know About Team Automata But Were Afraid to Ask -- maintained by Maurice ter Beek

Ricordando Salsomaggiore - Campionati Italiani Allievi Scuola Bridge 2005 e 2006 (in Italian...)

RicAt -- Ricercatori Atipici CNR Pisa (in Italian...)

- But don't despair, this day will be their damnedest day -- Cowboys, Portishead, 1997.