Marco Vassena

Doktorand at Chalmers, Computer Science and Engineering (Chalmers), Information Security

My personal webpage can be found on ​http://www.cse.chalmers.se/~vassena/

Source: chalmers.se

Showing 7 publications

2018

MAC A verified static information-flow control library

Marco Vassena, Alejandro Russo, Pablo Buiras et al
Journal of Logical and Algebraic Methods in Programming. Vol. 95, p. 148-180
Journal article
2017

MAC, A Verified Information-Flow Control Library

Marco Vassena
Licentiate thesis
2017

Securing Concurrent Lazy Programs Against Information Leakage

Marco Vassena, Joachim Breitner, Alejandro Russo
Proceedings - IEEE Computer Security Foundations Symposium, p. 37-52
Paper in proceedings
2017

MAC, A Verified Static Information-Flow Control Library

Marco Vassena, Alejandro Russo
Journal of Logical and Algebraic Methods in Programming
Review article
2016

Flexible manipulation of labeled values for information-flow control libraries

Marco Vassena, Pablo Buiras, L. Waye et al
Lecture Notes in Computer Science. Vol. 9878 LNCS, 2016, p. 538-557
Paper in proceedings
2016

Generic Diff3 for Algebraic Datatypes

Marco Vassena
Proceeding TyDe 2016, Proceedings of the 1st International Workshop on Type-Driven Development, p. 62-71
Paper in proceedings
2016

On formalizing information-flow control libraries

Marco Vassena, Alejandro Russo
11th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, PLAS 2016, Vienna, Austria, 24 October 2016, p. 15-28
Paper in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Marco Vassena participates, but you have to be logged in as a Chalmers employee to see them.