Marco Vassena
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2016–2020
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CCS | Short Paper: Modular Black-box Runtime Verification of Security Protocols. | Kevin Morio, Dennis Jackson, Marco Vassena, Robert Knnemann |
| 2020 | CCS | PLAS'20: 15th Workshop on Programming Languages and Analysis for Security. | Alley Stoughton, Marco Vassena |
| 2016 | CCS | On Formalizing Information-Flow Control Libraries. | Marco Vassena, Alejandro Russo |
| 2016 | ESORICS | Flexible Manipulation of Labeled Values for Information-Flow Control Libraries. | Marco Vassena, Pablo Buiras, Lucas Waye, Alejandro Russo |
| 2016 | ICFP | Generic Diff3 for algebraic datatypes. | Marco Vassena |