The following pages link to Stefano Calzavara (Q511943):
Displayed 4 items.
- Formal methods for web security (Q511944) (← links)
- \textsc{Treant}: training evasion-aware decision trees (Q2212514) (← links)
- Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions (Q2802451) (← links)
- Logical Foundations of Secure Resource Management in Protocol Implementations (Q5326757) (← links)