default search action

combined dblp search
author search
venue search
publication search

ask others

FOSAD 2011

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > FOSAD

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fosad/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/2010
Alessandro Aldini, Roberto Gorrieri:
Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures. Lecture Notes in Computer Science 6858, Springer 2011, ISBN 978-3-642-23081-3
- view
  authority control:
- export record
  dblp key:
  - conf/fosad/VimercatiFLS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/VimercatiFLS10
Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati:
Protecting Privacy in Data Release. 1-34
- view
  authority control:
- export record
  dblp key:
  - conf/fosad/FocardiLS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/FocardiLS10
Riccardo Focardi, Flaminia L. Luccio, Graham Steel:
An Introduction to Security API Analysis. 35-65
- view
  authority control:
- export record
  dblp key:
  - conf/fosad/FournetBG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/FournetBG10
Cédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon:
Cryptographic Verification by Typing for a Sample Protocol Implementation. 66-100
- view
  authority control:
- export record
  dblp key:
  - conf/fosad/BasinCEDDOV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/BasinCEDDOV10
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. 101-124
- view
  authority control:
- export record
  dblp key:
  - conf/fosad/GorrieriV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/GorrieriV10
Roberto Gorrieri, Matteo Vernali:
On Intransitive Non-interference in Some Models of Concurrency. 125-151
- view
  authority control:
- export record
  dblp key:
  - conf/fosad/AsnarM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/AsnarM10
Yudistira Asnar, Fabio Massacci:
A Method for Security Governance, Risk, and Compliance (GRC): A Goal-Process Approach. 152-184
- view
  authority control:
- export record
  dblp key:
  - conf/fosad/Micciancio10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/Micciancio10
Daniele Micciancio:
The Geometry of Lattice Cryptography. 185-210
- view
  authority control:
- export record
  dblp key:
  - conf/fosad/AlvimACP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/AlvimACP10
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Quantitative Information Flow and Applications to Differential Privacy. 211-230
- view
  authority control:
- export record
  dblp key:
  - conf/fosad/LundSS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/LundSS10
Mass Soldal Lund, Bjørnar Solhaug, Ketil Stølen:
Risk Analysis of Changing and Evolving Systems Using CORAS. 231-274

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.