List of works - Flaminia Luccio

A modular approach to Sprouts

scientific article published in December 2004

An Introduction to Security API Analysis

scientific article published in 2011

Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients

scientific article published in August 2004

Blunting Differential Attacks on PIN Processing APIs

scientific article published in 2009

Cracking Bank PINs by Playing Mastermind

scientific article published in 2010

Feedback vertex set in hypercubes

scientific article published in November 2000

Guessing Bank PINs by Winning a Mastermind Game

article

Localizing Firewall Security Policies

scientific article published in June 2016

Mignis: A Semantic Based Tool for Firewall Configuration

scientific article published in July 2014

Nesting analysis of mobile ambients

scientific article published in October 2004

Secure Recharge of Disposable RFID Tickets

scientific article published in 2012

Secure Upgrade of Hardware Security Modules in Bank Networks