 | 2011 |
|---|
| 57 |       | Giampaolo Bella,
Gianpiero Costantino,
Lizzie Coles-Kemp,
Salvatore Riccobene:
Remote Management of Face-to-face Written Authenticated Though Anonymous Exams.
CSEDU (2) 2011: 431-437 |
| 56 |  | Giampaolo Bella,
Denis Butin,
David Gray:
Holistic analysis of mix protocols.
IAS 2011: 338-343 |
| 55 | | Giampaolo Bella,
Rosario Giustolisi,
Salvatore Riccobene:
Enforcing privacy in e-commerce by balancing anonymity and trust.
Computers & Security 30(8): 705-718 (2011) |
| 54 | | Wihem Arsac,
Giampaolo Bella,
Xavier Chantry,
Luca Compagna:
Multi-Attacker Protocol Validation.
J. Autom. Reasoning 46(3-4): 353-388 (2011) |
| 2010 |
|---|
| 53 | | Giampaolo Bella,
Gianpiero Costantino,
Salvatore Riccobene:
WATA - A System for Written Authenticated though Anonymous Exams.
CSEDU (2) 2010: 132-137 |
| 52 | | Giampaolo Bella:
The principle of guarantee availability for security protocol analysis.
Int. J. Inf. Sec. 9(2): 83-97 (2010) |
| 2009 |
|---|
| 51 | | Wihem Arsac,
Giampaolo Bella,
Xavier Chantry,
Luca Compagna:
Validating Security Protocols under the General Attacker.
ARSPA-WITS 2009: 34-51 |
| 50 | | Giampaolo Bella,
Pietro Liò:
Formal Analysis of the Genetic Toggle.
CMSB 2009: 96-110 |
| 49 | | Giampaolo Bella,
Peter Y. A. Ryan:
Journal of Computer SecuritySpecial Number devoted to the best papers of the Security Track at the 2006 ACM Symposium on Applied Computing.
Journal of Computer Security 17(3): 237 (2009) |
| 2008 |
|---|
| 48 | | Giampaolo Bella,
Francesco Librizzi,
Salvatore Riccobene:
Realistic Threats to Self-Enforcing Privacy.
IAS 2008: 155-160 |
| 47 | | Giampaolo Bella,
Gianpiero Costantino,
Salvatore Riccobene:
Managing Reputation over MANETs.
IAS 2008: 255-260 |
| 46 | | Giampaolo Bella:
Special track on Computer Security: editorial message.
SAC 2008: 2095-2096 |
| 45 | | Simon N. Foley,
Giampaolo Bella,
Stefano Bistarelli:
Security Protocol Deployment Risk.
Security Protocols Workshop 2008: 12-20 |
| 44 | | Giampaolo Bella:
What is Correctness of Security Protocols?
J. UCS 14(12): 2083-2106 (2008) |
| 2007 |
|---|
| 43 | | Giampaolo Bella,
Stefano Bistarelli,
Pamela Peretti,
Salvatore Riccobene:
Augmented Risk Analysis.
Electr. Notes Theor. Comput. Sci. 168: 207-220 (2007) |
| 2006 |
|---|
| 42 | | Giampaolo Bella,
Peter Y. A. Ryan:
Editorial message: special track on computer security.
SAC 2006: 321-322 |
| 41 | | Giampaolo Bella,
Lawrence C. Paulson:
Accountability protocols: Formalized and verified.
ACM Trans. Inf. Syst. Secur. 9(2): 138-161 (2006) |
| 40 | | Giampaolo Bella,
Stefano Bistarelli,
Simon N. Foley:
Soft Constraints for Security.
Electr. Notes Theor. Comput. Sci. 142: 11-29 (2006) |
| 39 | | Giampaolo Bella,
Costantino Pistagna,
Salvatore Riccobene:
Distributed Backup through Information Dispersal.
Electr. Notes Theor. Comput. Sci. 142: 63-77 (2006) |
| 38 | | Giampaolo Bella,
Fabio Massacci,
Lawrence C. Paulson:
Verifying the SET Purchase Protocols.
J. Autom. Reasoning 36(1-2): 5-37 (2006) |
| 2005 |
|---|
| 37 | | Giampaolo Bella,
Costantino Pistagna,
Salvatore Riccobene:
Locating Mobile Nodes Within Logical Networks.
PSC 2005: 54-62 |
| 36 | | Giampaolo Bella,
Peter Y. A. Ryan:
Special track on computer security.
SAC 2005: 304-305 |
| 35 | | Giampaolo Bella,
Stefano Bistarelli:
Information Assurance for security protocols.
Computers & Security 24(4): 322-333 (2005) |
| 34 | | Giampaolo Bella,
Fabio Massacci,
Lawrence C. Paulson:
An overview of the verification of SET.
Int. J. Inf. Sec. 4(1-2): 17-28 (2005) |
| 33 | | Giampaolo Bella,
Peter Y. A. Ryan:
Guest Editors' preface.
Journal of Computer Security 13(5): 697- (2005) |
| 2004 |
|---|
| 32 | | Sebastiano Battiato,
Giampaolo Bella,
Salvatore Riccobene:
Should We Prove Security Policies Correct?
EGCDMAS 2004: 56-65 |
| 31 | | Giampaolo Bella,
Peter Ryan:
Editoral message: special track on computer security.
SAC 2004: 373-374 |
| 30 | | Giampaolo Bella,
Ronaldo Menezes:
Special Issue: Computer Security.
Concurrency - Practice and Experience 16(11): 1061 (2004) |
| 29 | | Giampaolo Bella,
Stefano Bistarelli:
Soft Constraint Programming to Analysing Security Protocols.
TPLP 4(5-6): 545-572 (2004) |
| 2003 |
|---|
| 28 | | Giampaolo Bella,
Ronaldo Menezes:
Computer Security Track Editorial.
SAC 2003: 280-281 |
| 27 | | Giampaolo Bella:
Availability of Protocol Goals.
SAC 2003: 312-317 |
| 26 | | Giampaolo Bella:
A Protocol's Life After Attacks... (Discussion).
Security Protocols Workshop 2003: 11-18 |
| 25 | | Giampaolo Bella,
Cristiano Longo,
Lawrence C. Paulson:
Is the Verification Problem for Cryptographic Protocols Solved?.
Security Protocols Workshop 2003: 183-189 |
| 24 | | Giampaolo Bella,
Stefano Bistarelli,
Fabio Massacci:
A Protocol's Life After Attacks....
Security Protocols Workshop 2003: 3-10 |
| 23 | | Giampaolo Bella,
Stefano Bistarelli,
Fabio Martinelli:
Biometrics to Enhance Smartcard Security.
Security Protocols Workshop 2003: 324-332 |
| 22 | | Giampaolo Bella,
Cristiano Longo,
Lawrence C. Paulson:
Verifying Second-Level Security Protocols.
TPHOLs 2003: 352-366 |
| 21 | | Giampaolo Bella,
Stefano Bistarelli:
Soft Constraint Programming to Analysing Security Protocols
CoRR cs.CR/0312025: (2003) |
| 20 | | Giampaolo Bella,
Fabio Massacci,
Lawrence C. Paulson:
Verifying the SET registration protocols.
IEEE Journal on Selected Areas in Communications 21(1): 77-87 (2003) |
| 19 | | Giampaolo Bella:
Inductive Verification of Smart Card Protocols.
Journal of Computer Security 11(1): 87-132 (2003) |
| 2002 |
|---|
| 18 | | Giampaolo Bella,
Lawrence C. Paulson,
Fabio Massacci:
The verification of an industrial payment protocol: the SET purchase phase.
ACM Conference on Computer and Communications Security 2002: 12-20 |
| 17 | | Giampaolo Bella,
Ronaldo Menezes,
James A. Whittaker:
Editorial Message: special track on computer security.
SAC 2002: 194-195 |
| 16 | | Giampaolo Bella:
Interactive simulation of security policies.
SAC 2002: 247-252 |
| 15 | | Giampaolo Bella,
Stefano Bistarelli:
Confidentiality Levels and Deliberate/Indeliberate Protocol Attacks.
Security Protocols Workshop 2002: 104-119 |
| 14 | | Giampaolo Bella,
Lawrence C. Paulson:
Analyzing Delegation Properties.
Security Protocols Workshop 2002: 120-127 |
| 2001 |
|---|
| 13 | | Giampaolo Bella:
Mechanising a Protocol for Smart Cards.
E-smart 2001: 19-33 |
| 12 | | Giampaolo Bella,
Stefano Bistarelli:
Soft Constraints for Security Protocol Analysis: Confidentiality.
PADL 2001: 108-122 |
| 11 | | Giampaolo Bella,
Lawrence C. Paulson:
A Proof of Non-repudiation.
Security Protocols Workshop 2001: 119-125 |
| 10 | | Giampaolo Bella,
Lawrence C. Paulson:
Mechanical Proofs about a Non-repudiation Protocol.
TPHOLs 2001: 91-104 |
| 2000 |
|---|
| 9 | | Giampaolo Bella,
Fabio Massacci,
Lawrence C. Paulson,
Piero Tramontano:
Formal Verification of Cardholder Registration in SET.
ESORICS 2000: 159-174 |
| 8 | | Giampaolo Bella,
Fabio Massacci,
Lawrence C. Paulson,
Piero Tramontano:
Making Sense of Specifications: The Formalization of SET.
Security Protocols Workshop 2000: 74-81 |
| 7 | | Giampaolo Bella:
Lack of Explicitness Strikes Back.
Security Protocols Workshop 2000: 87-93 |
| 6 | | Giampaolo Bella:
Lack of Explicitness Strikes Back (Transcript of Discussion).
Security Protocols Workshop 2000: 94-99 |
| 1999 |
|---|
| 5 | | Giampaolo Bella:
Modelling Agents' Knowledge Inductively.
Security Protocols Workshop 1999: 85-94 |
| 1998 |
|---|
| 4 | | Giampaolo Bella,
Lawrence C. Paulson:
Mechanising BAN Kerberos by the Inductive Method.
CAV 1998: 416-427 |
| 3 | | Giampaolo Bella,
Lawrence C. Paulson:
Kerberos Version 4: Inductive Analysis of the Secrecy Goals.
ESORICS 1998: 361-375 |
| 2 | | Giampaolo Bella,
Elvinia Riccobene:
A Realistic Environment for Crypto-Protocol Analyses by ASMs.
Workshop on Abstract State Machines 1998: 127-138 |
| 1997 |
|---|
| 1 | | Giampaolo Bella,
Elvinia Riccobene:
Formal Analysis of the Kerberos Authentication System.
J. UCS 3(12): 1337-1381 (1997) |
Data released under the ODC-BY 1.0 license — See also our legal information page