Concepedia

Arnar Birgisson

AB

5

Publications

305

Citations

5

H-Index

2008

Active since

Affiliations

Chalmers University of Technology(Current)

Reykjavík University

Arnar Birgisson is an author at Chalmers University of Technology specializing in computer science, formal verification, and engineering.

Top concepts

EngineeringComputer ScienceFormal VerificationCryptographyData PrivacyData SecurityFormal MethodsProgram AnalysisSoftware AnalysisInformation Security

Publications per year

2008–2014

5

Publications

5

JSFlow

Daniel Hedin, Arnar Birgisson, Luciano Bello et al. · 2014 · 147 citations

Dynamic Web Page, Script Inclusion, Barebone Web Pages +1

Macaroons: Cookies with Contextual Caveats for Decentralized Authorization in the Cloud

Arnar Birgisson, Joe Gibbs Politz, Úlfar Erlingsson et al. · 2014 · 94 citations · Full text

Enforcing authorization policies using transactional memory introspection

Arnar Birgisson, Mohan Dhawan, Úlfar Erlingsson et al. · 2008 · 36 citations · Full text

Engineering, Information Security, Computer Architecture +21

Capabilities for information flow

Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld · 2011 · 17 citations

Engineering, Information Security, Software Engineering +23

Rule formats for determinism and idempotence

Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir et al. · Science of Computer Programming · 2010 · 11 citations

Engineering, Automated Reasoning, Rule Language +6

Rows per page

1–5 of 5