Anna Lisa Ferrara

        Research Assistant



Short Resume
Anna Lisa holds a Phd in Computer Science from the University of Salerno (Italy). After graduation, she has continued her academic career as post-doc first at the Johns Hopkins University, and then at the University of Illinois at Urbana-Champaign. Anna Lisa's main stream of research concerns the design and analysis of cryptographic protocols with particular emphasis on efficiency requirements and provable-security. She has worked on several topics paying particular attention to cryptographic enforcement of access control policies. Recently, she has also got interested in automated methods for the verification of security properties of real world protocols.