This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Profile
Lesly-Ann Daniel
lesly-ann.bsky.social
did:plc:4cfezs62dj43ufh4unbzr6z6
Assistant Professor @ Eurecom. I'm interested in formal methods for low-level security. https://leslyann-daniel.fr