ARSPA-WITS

Keyphrases

Publications

volume 6186, 2011

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers ARSPA-WITS 6186 (2011)

2010

Andrea Falcone, Riccardo Focardi
Formal Analysis of Key Integrity in PKCS#11. ARSPA-WITS (2010)
Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourjieh
Towards Automatic Analysis of Election Verifiability Properties. ARSPA-WITS (2010)
Riccardo Focardi, Flaminia L. Luccio
Secure Upgrade of Hardware Security Modules in Bank Networks. ARSPA-WITS (2010)
Mário Pires, Luís Caires
A Type System for Access Control Views in Object-Oriented Languages. ARSPA-WITS (2010)
Trajce Dimkov, Wolter Pieters, Pieter H. Hartel
Portunes: Representing Attack Scenarios Spanning through the Physical, Digital and Social Domain. ARSPA-WITS (2010)
Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
Modular Plans for Secure Service Composition. ARSPA-WITS (2010)
Flemming Nielson, Han Gao, Hanne Riis Nielson
The CaPiTo Approach to Protocol Validation - (Invited Talk). ARSPA-WITS (2010)
Matteo Centenaro, Riccardo Focardi
Match It or Die: Proving Integrity by Equality. ARSPA-WITS (2010)
Michele Bugliesi, Stefano Calzavara, Damiano Macedonio
Secrecy and Authenticity Types for Secure Distributed Messaging. ARSPA-WITS (2010)
Catuscia Palamidessi, Mário S. Alvim, Miguel E. Andrés
Interactive Information Flow - (Invited Talk). ARSPA-WITS (2010)
Aaron D. Jaggard, Catherine A. Meadows, Michael W. Mislove, Roberto Segala
Reasoning about Probabilistic Security Using Task-PIOAs. ARSPA-WITS (2010)
Michele Bugliesi, Paolo Modesti
AnBx - Security Protocols Design and Verification. ARSPA-WITS (2010)