Search results for "FOSAD"

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

Publications at "FOSAD"( http://dblp.L3S.de/Venues/FOSAD )