33 search results - page 6 / 7 » Verified Bytecode Subroutines |
CARDIS
2008
Springer
15 years 1 months ago
2008
Springer
When it comes to security, an interesting difference between Java Card and regular Java is the absence of an on-card bytecode verifier on most Java Cards. In principle this opens u...
116
click to vote
FMCAD
2008
Springer
15 years 1 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
EUROCRYPT
2009
Springer
16 years 7 days ago
2009
Springer
The notion of Zero Knowledge Proofs (of knowledge) [ZKP] is central to cryptography; it provides a set of security properties that proved indispensable in concrete protocol design...
106
click to vote
POPL
2000
ACM
15 years 3 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
SEFM
2008
IEEE
15 years 6 months ago
2008
IEEE
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...