Edoardo Lunati - FM 2026

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Registered user since Sun 17 May 2026

Name:Edoardo Lunati

Country:Italy

Affiliation:IMT School for Advanced Studies Lucca

Contributions

2026

FM

Differential Verification of Information Flow in SEAndroid Policies

Show activities from other conferences

FM 2026-profile
View general profile