|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Ludovic Casset |
Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods.  |
FME  |
2002 |
DBLP DOI BibTeX RDF |
Byte Code Verification, Formal Methods, B Method |
| 2 | Joachim Posegga, Harald Vogt |
Byte Code Verification for Java Smart Card Based on Model Checking.  |
ESORICS  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Skalka |
Type safe dynamic linking for JVM access control.  |
PPDP  |
2007 |
DBLP DOI BibTeX RDF |
static type analysis, language-based security, bytecode verification, dynamic linking |
| 1 | F. Y. Huang, C. B. Jay, David B. Skillicorn |
Adaptiveness in well-typed Java bytecode verification.  |
CASCON  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider |
Certified Memory Usage Analysis.  |
FM  |
2005 |
DBLP DOI BibTeX RDF |
certified memory analysis, Program analysis, theorem proving, constraint solving |
| 1 | Hao Cai, Andy J. Wellings |
Supporting Mixed Criticality Applications in a Ravenscar-Java Environment.  |
OTM Workshops  |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|