4th International Cryptoforma Workshop at CSF

Invited talk:
9:35-10:30 Peter Ryan. Selene: Voter-Friendly, Receipt Free, Verifiable Voting
Accepted presentations:

11:00-11:30 Murat Moran and James Heather. Automated Analysis of Voting Systems with Dolev-Yao Intruder Model
11:30-12:00 Alessandro Bruni, Markulf Kohlweiss, Myrto Arapinis, Mark Ryan, Eike Ritter, Flemming Nielson and Hanne Riis Nielson. Proving Stateful Injective Agreement with Refinement Types
12:00-12:30 Federico De Meo, Davide Guardini, Michele Peroli and Luca Viganò. A Model-Based Security Testing Framework for Web Applications
14:00-14:30Paolo Modesti. Automatic Generation of Security Protocols Implementations

14:30-15:00 Omar Almousa, Sebastian A. Mödersheim and Luca Viganò. Alice and Bob: Reconciling Formal Models and Implementation

15:00-15:30 Vincent Cheval, Mark Ryan and Jiangshan Yu. Towards a formalized PKI with no trusted parties
16:00-16:30Taciane Martimiano, Jean Everson Martina and Ricardo Moraes. Threat Modelling Service Security and Privacyas a Security Ceremony
16:30-17:00 Michael Denzel, Alessandro Bruni and Mark Ryan. Smart-Guard: Defending Hardware Keyloggers with a Smart-Card

Stay updated

Stay involved in our discussions on various social networks.

Comments are closed.