FOSAD

Keyphrases

Publications

2016

volume 9808, 2016

Foundations of Security Analysis and Design VIII - FOSAD 2014/2015/2016 Tutorial Lectures FOSAD 9808 (2016)

volume 8604, 2014

Foundations of Security Analysis and Design VII - FOSAD 2012/2013 Tutorial Lectures FOSAD 8604 (2014)

2013

Jens Bürger, Jan Jürjens, Thomas Ruhroth, Stefan Gärtner, Kurt Schneider
Model-Based Security Engineering: Managed Co-evolution of Security Knowledge and Software Models. FOSAD (2013)
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis
Defensive JavaScript - Building and Verifying Secure Web Components. FOSAD (2013)
David Bernhard, Bogdan Warinschi
Cryptographic Voting - A Gentle Introduction. FOSAD (2013)
Gilles Barthe, François Dupressoir, Benjamin Grégoire, César Kunz, Benedikt Schmidt, Pierre-Yves Strub
EasyCrypt: A Tutorial. FOSAD (2013)
Fabrice Bouquet, Fabien Peureux, Fabrice Ambert
Model-Based Testing for Functional and Security Test Generation. FOSAD (2013)
Sabrina De Capitani di Vimercati, Robert F. Erbacher, Sara Foresti, Sushil Jajodia, Giovanni Livraga, Pierangela Samarati
Encryption and Fragmentation for Data Confidentiality in the Cloud. FOSAD (2013)
Bruno Blanchet
Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif. FOSAD (2013)
Willem De Groef, Dominique Devriese, Mathy Vanhoef, Frank Piessens
Information Flow Control for Web Scripts. FOSAD (2013)
Ruben Rios, Javier López, Jorge Cuéllar
Location Privacy in WSNs: Solutions, Challenges, and Future Trends. FOSAD (2013)

2011

volume 6858, 2011

Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures FOSAD 6858 (2011)