|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
16 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Program Logic for Bytecode |
Bannwart, Fabian |
2005 |
141 | 1 |
p. 255-273 19 p. |
artikel |
|
| 2 | A Space-Aware Bytecode Verifier for Java Cards |
Bernardeschi, Cinzia |
2005 |
141 | 1 |
p. 237-254 18 p. |
artikel |
|
| 3 | A Translation-Facilitated Comparison Between the Common Language Runtime and the Java Virtual Machine |
Shiel, Sam |
2005 |
141 | 1 |
p. 35-52 18 p. |
artikel |
|
| 4 | A Verifier for Region-Annotated Java Bytecodes |
Cherem, Sigmund |
2005 |
141 | 1 |
p. 183-201 19 p. |
artikel |
|
| 5 | BAT2XML: XML-based Java Bytecode Representation |
Eichberg, Michael |
2005 |
141 | 1 |
p. 93-107 15 p. |
artikel |
|
| 6 | Bytecode Analysis for Proof Carrying Code |
Wildmoser, Martin |
2005 |
141 | 1 |
p. 19-34 16 p. |
artikel |
|
| 7 | Flexible Bytecode for Linking in .NET |
Buckley, Alex |
2005 |
141 | 1 |
p. 75-92 18 p. |
artikel |
|
| 8 | Improving the Security of Downloadable Java Applications With Static Analysis |
Crégut, Pierre |
2005 |
141 | 1 |
p. 129-144 16 p. |
artikel |
|
| 9 | Java Bytecode Transformations for Efficient, Portable CPU Accounting |
Binder, Walter |
2005 |
141 | 1 |
p. 53-73 21 p. |
artikel |
|
| 10 | JVM Bytecode Verification Without Dataflow Analysis |
Bayley, Ian |
2005 |
141 | 1 |
p. 203-220 18 p. |
artikel |
|
| 11 | Kleene Algebra and Bytecode Verification |
Kot, Łucja |
2005 |
141 | 1 |
p. 221-236 16 p. |
artikel |
|
| 12 | Preface |
Spoto, Fausto |
2005 |
141 | 1 |
p. 1- 1 p. |
artikel |
|
| 13 | Proof-carrying Bytecode |
Gilmore, Stephen |
2005 |
141 | 1 |
p. 3-18 16 p. |
artikel |
|
| 14 | Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis |
Artho, Cyrille |
2005 |
141 | 1 |
p. 109-128 20 p. |
artikel |
|
| 15 | Timing Aware Information Flow Security for a JavaCard-like Bytecode |
Hedin, Daniel |
2005 |
141 | 1 |
p. 163-182 20 p. |
artikel |
|
| 16 | Towards Verification of Well-Formed Transactions in Java Card Bytecode |
Hansen, René Rydhof |
2005 |
141 | 1 |
p. 145-162 18 p. |
artikel |
16 gevonden resultaten