|
Realizability with constants
Emmanuel Beffara(PPS, University Paris 7). |
|
Local Model Checking Real-time Value-passing System
Jing Chen(Insititute of Software, Chinese Academy of Sciences). |
|
Extension of Type Evolution System for Robust Mobile Ambient
Tao-Lue Chen, Yang-Yue Feng, Jian Lv(Nanjing University). |
|
Proof Compilation
Pascal Cuoq(INRIA), Sunae Seo, Hongseok Yang, Kwangkeun Yi(ROPAS, Korean Advanced Inst. of Science and Technology). |
|
On Mobility and Communication
Yu-Xin Deng(PPS, University Paris 7). |
|
Cones and Foci for Timed Transition Systems Verification Revisited
Wan Fokkink(CWI, Vrije Universiteit Amsterdam), Jun Pang(CWI). |
|
Copyability Types for Mobile Computing Resources
Jens Chr. Godskesen, Thomas Hildebrandt(IT University of Copenhagen). |
|
Compiling Pattern Matching in Join-Patterns
Qin Ma, Luc Maranget(INRIA Rocquentcourt). |
|
Secure Execution of Client-Side Scripts by Program Transformation in an HTTP Proxy Server
Shin-ya Nishizaki(Tokyo Insititute of Technology). |
|
Using Combined Method to Analyze Security Protocols
Chao Qin(DIT-University of Trento), Zhong Chen(Peking University). |
|
The Flow Caml System: Information Flow Analysis
in Practice
Vincent Simonet (INRIA Rocquentcourt). |
|
Formal Modeling of Event Correlation in IDS
Hui Xu, Ai-Min Pan(Peiking University). |
|
Merging Encryption into Kripke Logical Relations of Dynamic Name Creation
Yu Zhang(LSV, ENS Cachan). |
|
Inserter and Categorical Model of Higher-order Subtyping
Xiao-Cong Zhou(Sun Yat-sen University). |