Fabrizio Biondi

Registered user since Thu 11 Oct 2018

Name: Fabrizio Biondi

Affiliation: CentraleSupelec Rennes

Contributions

VMCAI 2018 Scalable Approximation of Quantitative Information Flow in Programs
Show activities from other conferences

POPL 2018-profile
View general profile