Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ankur Taly, Asim Shankar |
Distributed Authorization in Vanadium. |
FOSAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michael Backes 0001, Pascal Berrang, Praveen Manoharan 0001 |
From Zoos to Safaris - From Closed-World Enforcement to Open-World Assessment of Privacy. |
FOSAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Steven Van Acker, Andrei Sabelfeld |
JavaScript Sandboxing: Isolating and Restricting Client-Side JavaScript. |
FOSAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Jens Groth |
Efficient Zero-Knowledge Proof Systems. |
FOSAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Aldini, Javier López 0001, Fabio Martinelli (eds.) |
Foundations of Security Analysis and Design VIII - FOSAD 2014/2015/2016 Tutorial Lectures |
FOSAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Aldini, Javier López 0001, Fabio Martinelli (eds.) |
Foundations of Security Analysis and Design VII - FOSAD 2012/2013 Tutorial Lectures |
FOSAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | David Bernhard, Bogdan Warinschi |
Cryptographic Voting - A Gentle Introduction. |
FOSAD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Blanchet |
Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif. |
FOSAD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jens Bürger 0001, Jan Jürjens, Thomas Ruhroth, Stefan Gärtner 0001, Kurt Schneider |
Model-Based Security Engineering: Managed Co-evolution of Security Knowledge and Software Models. |
FOSAD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Ruben Rios, Javier López 0001, Jorge Cuéllar |
Location Privacy in WSNs: Solutions, Challenges, and Future Trends. |
FOSAD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fabrice Bouquet, Fabien Peureux, Fabrice Ambert |
Model-Based Testing for Functional and Security Test Generation. |
FOSAD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Willem De Groef, Dominique Devriese, Mathy Vanhoef, Frank Piessens |
Information Flow Control for Web Scripts. |
FOSAD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis |
Defensive JavaScript - Building and Verifying Secure Web Components. |
FOSAD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, François Dupressoir, Benjamin Grégoire, César Kunz, Benedikt Schmidt, Pierre-Yves Strub |
EasyCrypt: A Tutorial. |
FOSAD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi |
Quantitative Information Flow and Applications to Differential Privacy. |
FOSAD |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yudistira Asnar, Fabio Massacci |
A Method for Security Governance, Risk, and Compliance (GRC): A Goal-Process Approach. |
FOSAD |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Gorrieri, Matteo Vernali |
On Intransitive Non-interference in Some Models of Concurrency. |
FOSAD |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati |
Protecting Privacy in Data Release. |
FOSAD |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mass Soldal Lund, Bjørnar Solhaug, Ketil Stølen |
Risk Analysis of Changing and Evolving Systems Using CORAS. |
FOSAD |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Focardi, Flaminia L. Luccio, Graham Steel |
An Introduction to Security API Analysis. |
FOSAD |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios, Carolina Dania, Gonzalo Ortiz, Javier Valdazo |
Model-Driven Development of Security-Aware GUIs for Data-Centric Applications. |
FOSAD |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Micciancio |
The Geometry of Lattice Cryptography. |
FOSAD |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon 0001 |
Cryptographic Verification by Typing for a Sample Protocol Implementation. |
FOSAD |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Aldini, Roberto Gorrieri (eds.) |
Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures |
FOSAD |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Mödersheim, Luca Viganò 0001 |
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols. |
FOSAD |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Resource Usage Analysis and Its Application to Resource Certification. |
FOSAD |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.) |
Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures |
FOSAD |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Javier López 0001, Rodrigo Roman, Cristina Alcaraz |
Analysis of Security Threats, Requirements, Technologies and Standards in Wireless Sensor Networks. |
FOSAD |
2009 |
DBLP DOI BibTeX RDF |
|
1 | K. Rustan M. Leino, Peter Müller 0001, Jan Smans |
Verification of Concurrent Programs with Chalice. |
FOSAD |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie |
Certified Static Analysis by Abstract Interpretation. |
FOSAD |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi |
Logic in Access Control (Tutorial Notes). |
FOSAD |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, César Kunz |
An Introduction to Certificate Translation. |
FOSAD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001, Wolter Pieters |
Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment. |
FOSAD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | David W. Chadwick |
Federated Identity Management. |
FOSAD |
2008 |
DBLP DOI BibTeX RDF |
Identity Management, Federations, Shibboleth, CardSpace |
1 | Daniel Le Métayer |
IT Security Analysis Best Practices and Formal Approaches. |
FOSAD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Martinelli, Paolo Mori |
Enhancing Java Security with History Based Access Control. |
FOSAD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Javier López 0001, Cristina Alcaraz, Rodrigo Roman |
On the Protection and Technologies of Critical Information Infrastructures. |
FOSAD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Aldini, Roberto Gorrieri (eds.) |
Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures |
FOSAD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001 |
Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. |
FOSAD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Liqun Chen 0002 |
An Interpretation of Identity-Based Cryptography. |
FOSAD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi |
Security Protocols: Principles and Calculi. |
FOSAD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Audun Jøsang |
Trust and Reputation Systems. |
FOSAD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Úlfar Erlingsson |
Low-Level Software Security: Attacks and Defenses. |
FOSAD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Roberto Zunino |
Secure Service Orchestration. |
FOSAD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Eimear Gallery, Chris J. Mitchell |
Trusted Mobile Platforms. |
FOSAD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Czenko, Sandro Etalle, Dongyi Li, William H. Winsborough |
An Introduction to the Role Based Trust Management Framework RT. |
FOSAD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.) |
Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures |
FOSAD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Giorgini, Fabio Massacci, Nicola Zannone |
Security and Trust Requirements Engineering. |
FOSAD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Elisa Bertino, Ji-Won Byun, Ninghui Li |
Privacy-Preserving Database Systems. |
FOSAD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hervé Debar, Jouni Viinikka |
Intrusion Detection: Introduction to Intrusion Detection and Security Information Management. |
FOSAD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Guillaume Dufay |
Formal Methods for Smartcard Security. |
FOSAD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Michael Backes 0001, Birgit Pfitzmann, Michael Waidner |
Justifying a Dolev-Yao Model Under Active Attacks. |
FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | François Koeune, François-Xavier Standaert |
A Tutorial on Physical Security and Side-Channel Attacks. |
FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jan Jürjens |
Model-Based Security Engineering with UML. |
FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Focardi, Roberto Gorrieri (eds.) |
Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures |
FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Focardi |
Static Analysis of Authentication. |
FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli |
Classification of Security Properties - Part II: Network Security. |
FOSAD |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hanne Riis Nielson, Flemming Nielson, Mikael Buchholtz |
Security for Mobility. |
FOSAD |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky |
Two Formal Approaches for Approximating Noninterference Properties. |
FOSAD |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Rosario Gennaro |
Cryptographic Algorithms for Multimedia Traffic. |
FOSAD |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone |
A Survey of Name-Passing Calculi and Crypto-Primitives. |
FOSAD |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Blundo, Paolo D'Arco |
The Key Establishment Problem. |
FOSAD |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Focardi, Roberto Gorrieri (eds.) |
Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000] |
FOSAD |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Paul F. Syverson, Iliano Cervesato |
The Logic of Authentication Protocols. |
FOSAD |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Peter Y. A. Ryan |
Mathematical Models of Computer Security. |
FOSAD |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Joshua D. Guttman |
Security Goals: Packet Trajectories and Strand Spaces. |
FOSAD |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Andrew D. Gordon 0001 |
Notes on Nominal Calculi for Security and Mobility. |
FOSAD |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Pierangela Samarati, Sabrina De Capitani di Vimercati |
Access Control: Policies, Models, and Mechanisms. |
FOSAD |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Focardi, Roberto Gorrieri |
Classification of Security Properties (Part I: Information Flow). |
FOSAD |
2000 |
DBLP DOI BibTeX RDF |
|