|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 9 keywords
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thomas Sewell, Simon Winwood, Peter Gammie, Toby C. Murray, June Andronick, Gerwin Klein |
seL4 Enforces Integrity.  |
ITP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood |
seL4: formal verification of an operating-system kernel. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | June Andronick |
From a Proven Correct Microkernel to Trustworthy Large Systems. |
FoVeOOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood |
seL4: formal verification of an OS kernel. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
l4, sel4, microkernel, isabelle/hol |
| 1 | Simon Winwood, Gerwin Klein, Thomas Sewell, June Andronick, David Cock, Michael Norrish |
Mind the Gap. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | June Andronick, Quang Huy Nguyen 0002 |
Certifying an embedded remote method invocation protocol. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
JCRMI, security and functional certification, formal verification, embedded software, common criteria |
| 1 | June Andronick |
Formally Proved Anti-tearing Properties of Embedded C Code. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | June Andronick, Boutheina Chetali, Christine Paulin-Mohring |
Formal Verification of Security Properties of Smart Card Embedded Source Code. |
FM |
2005 |
DBLP DOI BibTeX RDF |
Source code verification, Security, Formal Methods, Theorem Proving, Smart Card |
| 1 | June Andronick, Boutheina Chetali, Olivier Ly |
Using Coq to Verify Java Card Applet Isolation Properties. |
TPHOLs |
2003 |
DBLP DOI BibTeX RDF |
Security, Theorem Proving, Smart Card |
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")