188
click to vote
ESOP
15 years 10 months ago
2005 Springer 
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
185
click to vote
ESOP
15 years 10 months ago
2005 Springer 
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
156
click to vote
ESOP
15 years 10 months ago
2005 Springer 
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
126
click to vote
ESOP
15 years 10 months ago
2005 Springer 
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
|
Programming Languages