BibSonomy :: author  ::

bookmarks

publications

(284)

• Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
  Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener (eds.). ICALP (2) (2006)
  to database_privacy imported by ytyoun and 1 other person on 2008-10-18 22:17:29
  | BibTeX  
• Differential Privacy
  Cynthia Dwork ICALP (2) 1-12 (2006)
  to database_privacy imported by ytyoun and 1 other person on 2008-10-18 22:17:29
  | BibTeX  
• Towards a Formal Framework for Computational Trust.
  Vladimiro Sassone and Karl Krukow and Mogens Nielsen FMCO 175-184 (2006)
  to dblp by dblp on 2008-08-07 00:00:00
  | URL | BibTeX  
• A logical framework for history-based access control and reputation systems.
  Karl Krukow and Mogens Nielsen and Vladimiro Sassone Journal of Computer Security 16 63-101 (2008)
  to dblp by dblp on 2008-08-06 00:00:00
  | URL | BibTeX  
• Static BiLog: a Unifying Language for Spatial Structures.
  Giovanni Conforti and Damiano Macedonio and Vladimiro Sassone Fundam. Inform. 80 91-110 (2007)
  to dblp by dblp on 2008-08-06 00:00:00
  | URL | BibTeX  
• Models of Computation: A Tribute to Ugo Montanari's Vision.
  Roberto Bruni and Vladimiro Sassone Concurrency, Graphs and Models 503-509 (2008)
  to dblp by dblp on 2008-06-16 00:00:00
  | URL | BibTeX  
• Structural Operational Semantics for Stochastic Process Calculi.
  Bartek Klin and Vladimiro Sassone FoSSaCS 428-442 (2008)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• Foundations of Software Science and Computational Structures: Selected papers from FOSSACS 2005.
  Vladimiro Sassone Theor. Comput. Sci. 390 127-128 (2008)
  to dblp by dblp on 2008-01-31 00:00:00
  | URL | BibTeX  
• Security Policies as Membranes in Systems for Global Computing
  Daniele Gorla and Matthew Hennessy and Vladimiro Sassone CoRR abs/cs/0506061 (2005)
  to dblp by dblp and 2 other people on 2008-01-02 00:00:00
  | URL | BibTeX  
• Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001-2005).
  Donald Sannella and Vladimiro Sassone Theor. Comput. Sci. 389 337-340 (2007)
  to dblp by dblp on 2007-12-13 00:00:00
  | URL | BibTeX