Caterina Urban

Home
Research
Publications
Talks
People
Teaching
Software
Contact

1

The Abstract Domain of Segmented Ranking Functions

Formal Analysis of Facebook Connect Single Sign-On Authentication Protocol

<

© 2019-2023 · Powered by the Academic theme for Hugo.

Cite