 | 2012 |
|---|
| 7 |       | Luca Aceto,
Arnar Birgisson,
Anna Ingólfsdóttir,
Mohammad Reza Mousavi,
Michel A. Reniers:
Rule formats for determinism and idempotence.
Sci. Comput. Program. 77(7-8): 889-907 (2012) |
| 2011 |
|---|
| 6 | | Arnar Birgisson,
Andrei Sabelfeld:
Multi-run Security.
ESORICS 2011: 372-391 |
| 5 | | Luca Aceto,
Arnar Birgisson,
Anna Ingólfsdóttir,
Mohammad Reza Mousavi:
Decompositional Reasoning about the History of Parallel Processes.
FSEN 2011: 32-47 |
| 2010 |
|---|
| 4 | | Arnar Birgisson,
Alejandro Russo,
Andrei Sabelfeld:
Unifying Facets of Information Integrity.
ICISS 2010: 48-65 |
| 2009 |
|---|
| 3 | | Luca Aceto,
Arnar Birgisson,
Anna Ingólfsdóttir,
Mohammad Reza Mousavi,
Michel A. Reniers:
Rule Formats for Determinism and Idempotence.
FSEN 2009: 146-161 |
| 2 | | Arnar Birgisson,
Úlfar Erlingsson:
An implementation and semantics for transactional memory introspection in Haskell.
PLAS 2009: 87-99 |
| 2008 |
|---|
| 1 | | Arnar Birgisson,
Mohan Dhawan,
Úlfar Erlingsson,
Vinod Ganapathy,
Liviu Iftode:
Enforcing authorization policies using transactional memory introspection.
ACM Conference on Computer and Communications Security 2008: 223-234 |
Data released under the ODC-BY 1.0 license — See also our legal information page