dblp.uni-trier.dewww.uni-trier.de

June Andronick

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
3EEJune Andronick, Quang Huy Nguyen: Certifying an embedded remote method invocation protocol. SAC 2008: 352-359
2005
2EEJune Andronick, Boutheina Chetali, Christine Paulin-Mohring: Formal Verification of Security Properties of Smart Card Embedded Source Code. FM 2005: 302-317
2003
1EEJune Andronick, Boutheina Chetali, Olivier Ly: Using Coq to Verify Java Card Applet Isolation Properties. TPHOLs 2003: 335-351

Coauthor Index

1Boutheina Chetali [1] [2]
2Olivier Ly [1]
3Quang Huy Nguyen [3]
4Christine Paulin-Mohring [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)