106
click to vote
ESOP
15 years 2 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 ...
108
click to vote
ESOP
15 years 2 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...
ESOP
15 years 2 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...
71
Voted
ESOP
15 years 2 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 ...
ESOP
15 years 2 months ago
2005 Springer |
Programming Languages