Cinzia Bernardeschi
AuthID: R-00G-XF9
21
TITLE: A Space-Aware Bytecode Verifier for Java Cards
AUTHORS: Cinzia Bernardeschi; Giuseppe Lettieri; Luca Martini; Paolo Masci ;
PUBLISHED: 2005, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 141, ISSUE: 1
AUTHORS: Cinzia Bernardeschi; Giuseppe Lettieri; Luca Martini; Paolo Masci ;
PUBLISHED: 2005, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 141, ISSUE: 1
22
TITLE: Java bytecode verification with dynamic structures
AUTHORS: Cinzia Bernardeschi; Luca Martini; Paolo Masci ;
PUBLISHED: 2004, SOURCE: Proceedings of the Eighth IASTED International Conference on Software Engineering and Applications in Proceedings of the IASTED Conference on Software Engineering and Applications, November 9-11, 2004, MIT, Cambridge, MA, USA
AUTHORS: Cinzia Bernardeschi; Luca Martini; Paolo Masci ;
PUBLISHED: 2004, SOURCE: Proceedings of the Eighth IASTED International Conference on Software Engineering and Applications in Proceedings of the IASTED Conference on Software Engineering and Applications, November 9-11, 2004, MIT, Cambridge, MA, USA
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP