Nicoletta de Francesco


AuthID: R-00H-5NX

Publications Awaiting Confirmation

1
TITLE: JCSI: A tool for checking secure information flow in Java Card applications  Full Text
AUTHORS: Marco Avvenuti; Cinzia Bernardeschi; Nicoletta De Francesco; Paolo Masci ;
PUBLISHED: 2012, SOURCE: Journal of Systems and Software, VOLUME: 85, ISSUE: 11
INDEXED IN: Scopus DBLP CrossRef: 3

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service