| Publication | Date of Publication | Type |
|---|
Typed interpretations of extensible objects
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Formal methods for web security
Journal of Logical and Algebraic Methods in Programming | 2017-02-22 | Paper |
Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions
Programming Languages and Systems | 2016-04-26 | Paper |
Secure safe ambients
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Secure implementations of typed channel abstractions
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
Security abstractions and intruder models (extended abstract)
Electronic Notes in Theoretical Computer Science | 2014-07-23 | Paper |
Logical foundations of secure resource management in protocol implementations
Lecture Notes in Computer Science | 2013-08-06 | Paper |
An overview of boxed ambients (abstract)
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Context-sensitive equivalences for non-interference based protocol analysis.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Channel abstractions for network security
Mathematical Structures in Computer Science | 2010-04-01 | Paper |
Principles for entity authentication
Lecture Notes in Computer Science | 2010-01-05 | Paper |
A type system for Discretionary Access Control
Mathematical Structures in Computer Science | 2009-08-26 | Paper |
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
Lecture Notes in Computer Science | 2009-08-11 | Paper |
Foundations of Security Analysis and Design II
Lecture Notes in Computer Science | 2009-05-14 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Space-aware ambients and processes
Theoretical Computer Science | 2007-04-13 | Paper |
Trustworthy Global Computing
Lecture Notes in Computer Science | 2006-11-01 | Paper |
| scientific article; zbMATH DE number 2242580 (Why is no real title available?) | 2006-01-02 | Paper |
Communication and mobility control in boxed ambients
Information and Computation | 2005-11-07 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
| scientific article; zbMATH DE number 2185707 (Why is no real title available?) | 2005-07-04 | Paper |
| scientific article; zbMATH DE number 2060756 (Why is no real title available?) | 2004-03-18 | Paper |
| scientific article; zbMATH DE number 2044504 (Why is no real title available?) | 2004-02-18 | Paper |
| scientific article; zbMATH DE number 2038768 (Why is no real title available?) | 2004-02-08 | Paper |
| scientific article; zbMATH DE number 1954374 (Why is no real title available?) | 2003-07-28 | Paper |
Behavioural typing for safe ambients
Computer Languages, Systems & Structures | 2003-05-04 | Paper |
| scientific article; zbMATH DE number 1863161 (Why is no real title available?) | 2003-02-03 | Paper |
Type inference for variant object types
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1759632 (Why is no real title available?) | 2002-11-28 | Paper |
Object calculi in linear logic
Journal Of Logic And Computation | 2000-07-27 | Paper |
| scientific article; zbMATH DE number 1390057 (Why is no real title available?) | 2000-01-17 | Paper |
Matching for the lambda calculus of objects
Theoretical Computer Science | 1999-01-12 | Paper |
| scientific article; zbMATH DE number 1114038 (Why is no real title available?) | 1998-10-01 | Paper |
Differential logic programs: Programming methodologies and semantics
Science of Computer Programming | 1996-12-08 | Paper |
| scientific article; zbMATH DE number 512908 (Why is no real title available?) | 1995-11-23 | Paper |
Partial deduction for structured logic programming
The Journal of Logic Programming | 1993-11-17 | Paper |
| scientific article; zbMATH DE number 125880 (Why is no real title available?) | 1993-02-21 | Paper |
