FET-Global Computing
MyThS
|
Models and Types for Security in Mobile Distributed Systems Contract IST-2001-32617 (MyThS) |
EU proactive initiative
FET-Global Computing
| » | MyThS: Project Presentation,
FET-GC KickOff Meeting, Brussels, Sept 2001 |
| » |
Types and Patterns for Querying XML,
Foundations of Semistructured Data, Dagstuhl, February 2005 |
| » |
System behaviour in the presence of failures,
Foundations of Global Computing Workshop, Dagstuhl, February 2005 |
| » | Security
Properties for Intrusion Detection,
Nordic Workshop on Secure IT-systems, Helsinky, November 2004. |
| » | Authenticity by
Tagging and Typing
FMSE 2004, Washington D.C., October 2004 |
| » |
Semantic subtyping for the pi-calculus,
Foundations of Global Ubiquitous Computing, September, 2004 |
| » | Type-based
Discretionary Access Control
CONCUR'04, London, UK, September 2004 |
| » | Flow-sensitive
Leakage Analysis in Mobile Ambients,
SECCO'04, London, UK, August 2004 |
| » | An Unwinding
Condition for Security in Imperative Languages,
LOPSTR 2004, Verona, August 2004 |
| » | Preserving
(Security) Properties under Action Refinement,
CILC'04, Parma, June 2004. |
| » | Modelling
Downgrading in Information Flow Security,
Workshop on Global Computing 2004, Venice, June 2004 |
| » | A Distributed
Calculus for Role-Based Access Control,
CSFW 2004 Asilomar, June 2004 |
| » |
Context-awareness: Models and Analysis,
2nd UK-UbiNet Workshop: Security, trust, privacy and theory for ubiquitous computing, Cambridge UK, May 2004 |
| » |
safeDpi: using types to control mobile code,
Mimosa Project , Sophia Antipolis, France, January 2004 |
| » | Security Policies as Membranes in Systems for Global Computing,
Workshop on Global Computing 2004, Venice, June 2004 |
| » |
A Calculus for Trust Management,
Workshop on Global Computing 2004, Venice, June 2004 |
| » |
Context-Aware Software-Intensive Systems,
EU/NSF Joint Workshop on Engineering Software-Intensive Systems, Edinburgh, May 2004 |
| » |
Congruences for Contextual Graph-Rewriting,
Graph Transformation an Process Algebras Seminar, Dagstuhl, June 2004 |
| » |
Global Computing 2: A new FET Programme for FP6,
FET 2004 Information Day, Brussels, June 2004 |
| » |
Global Computing 2: A new FET Programme for FP6,
Global Computing 2004, Rovereto, March 2004 |
| » | MyThS -- Second Year Review,
Global Computing 2004, Rovereto, March 2004 |
| » | MyThS 2nd Review -- Typed Calculi of Capabilities (Workpackage 2),
Global Computing 2004, Rovereto, March 2004 |
| » | MyThS 2nd Review -- Types for Information Flow Control (Workpackage 3),
Global Computing 2004, Rovereto, March 2004 |
| » | MyThS 2nd Review -- Types for Protocol Analysis (Workpackage 4),
Global Computing 2004, Rovereto, March 2004 |
| » | Coinductive Reasoning for Contextual Graph Rewriting,
Global Computing 2004, Rovereto, March 2004 |
| » | A Dependently Typed Ambient Calculus,
Global Computing 2004, Rovereto, March 2004 |
| » | Typed Based Discretionary Access Control,
Global Computing 2004, Rovereto, March 2004 |
| » | Probabilistic Event Structures for Security,
Global Computing 2004, Rovereto, March 2004 |
| » |
A Calculus of Bounded Capacity,
Language Based Security, Daghstul, October 2003 |
| » |
Information Leakage Analysis in Mobile Ambients,
Language Based Security, Daghstul, October 2003 |
| » |
Language-based Security in Authentication Protocols,
Language Based Security, Daghstul, October 2003 |
| » | A Role for Theory in UbiNet,
1st UK-UbiNet Workshop on Ubiquitous Computing Networks, London |
| » |
Refinements Operators and Information Flow Security,
SEFM 2003, Brisbane, September 2003 |
| » | A 2-Categorical Approach to Bisimulation Congruences,
Formal Methods for Mobility, Marseille |
| » |
Non-Interference Proofs for Protocol Analysis,
FCT 2003, Malmo, August 2003 |
| » |
Secrecy In Untrusted Networks,
ICALP 2003, Eindhoven, July 2003. |
| » |
Secure Contexts for Confidential Data ,
CSFW 2003, Asilomar, July 2003 |
| » | (Calculi and Types for) Global Computing,
Summer School on Foundations of Security, Oregon |
| » | Foundations of Global Computing,
York |
| » | Deriving Bisimulation Congruences: 2-categories vs precategories,
Workshop on Mobility and Concurrency, Ottawa |
| » | Subtyping for Access Control,
MyThS Review Meeting, Trento |
| » |
Communication and Mobility Control in Boxed Ambients,
GC Workshop, Roverety, February 2003 |
| » | Capacity Bounded Computational Ambients,
Types for Global Computing, Paris |
| » |
Bisimulation and Unwinding for the Verification of Security
Properties,
VMCAI 2003, New York, January 2003 |
| » | Global Computing: A 5 mins personal overview of EU FET GC,
EPSRC Workshop on Programmable Networks, Warwick |
| » | Communication Interference in Mobile Boxed Ambients,
MyThS Annual Meeting, Bertinoro |
| » | Capacity Bounded Computational Ambients,
Summer School FOSAD 2002, Bertinoro |
| » | Deriving Bisimulation Congruences: A 2-categorical approach,
Express 2002 |
| » | Analysis of Systems,
Workshop on Global Computing at ICALP 2002 |
| » |
Information Flow Security for Boxed Ambients,
FWAN'02, Malaga, July 2002 |