Programme of ARSPA-WITS at ETAPS 2010

(Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security)

Sunday, March 28

09:00 - 10:40 SESSION 5

9.00: Invited talk: Catuscia Palamidessi
Information Hiding in Interactive Systems: Failure and Recovery
of the Information-Theoretic Approach BC

10.00: Portunes: representing attack scenarios spanning
through the physical, digital and social domain

Trajce Dimkov, Wolter Pieters and Pieter Hartel.

10:40 - 11:10 Coffee

11:10 - 12:30 SESSION 6: Noninterference and integrity

11.10: A Note on Noninterference in the Presence of Colluding
Adversaries

Kai Engelhardt.

11.50: Match It or Die: Proving Integrity by Equality

Matteo Centenaro and Riccardo Focardi.

 

 

12:30 - 14:00 Lunch

14:00 - 15:20 SESSION 7: Protocols 2

14.00: Towards automatic analysis of election verifiability
properties

Ben Smyth, Mark Ryan, Kremer Steve and Mounira Kourjieh.

14.40: AnBx - Security Protocols Design and
Verification

Michele Bugliesi and Paolo Modesti.

15.20 Closing remarks