Arnar Birgisson
Arnar Birgisson
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
JSFlow: Tracking information flow in JavaScript and its APIs
D Hedin, A Birgisson, L Bello, A Sabelfeld
Proceedings of the 29th Annual ACM Symposium on Applied Computing, 1663-1671, 2014
1562014
Macaroons: Cookies with contextual caveats for decentralized authorization in the cloud
A Birgisson, JG Politz, U Erlingsson, A Taly, M Vrable, M Lentczner
822014
Enforcing authorization policies using transactional memory introspection
A Birgisson, M Dhawan, U Erlingsson, V Ganapathy, L Iftode
Proceedings of the 15th ACM conference on Computer and communications …, 2008
392008
Unifying facets of information integrity
A Birgisson, A Russo, A Sabelfeld
International Conference on Information Systems Security, 48-65, 2010
372010
Boosting the permissiveness of dynamic information-flow tracking by testing
A Birgisson, D Hedin, A Sabelfeld
European Symposium on Research in Computer Security, 55-72, 2012
352012
FIDO U2F Javascript API
D Balfanz, A Birgisson, J Lang
Methods 4, U2F, 2013
292013
Local device authentication
A Birgisson, Y Gutnik, B Zhu, V Buka, JR Ederle, A Semenov, ML Jacoby, ...
US Patent App. 15/392,316, 2017
262017
Rule formats for determinism and idempotence
L Aceto, A Birgisson, A Ingolfsdottir, MR Mousavi, MA Reniers
Science of Computer Programming 77 (7-8), 889-907, 2012
222012
Capabilities for information flow
A Birgisson, A Russo, A Sabelfeld
Proceedings of the ACM SIGPLAN 6th Workshop on Programming Languages and …, 2011
212011
Methods and systems of generating and using authentication credentials for decentralized authorization in the cloud
A Taly, U Erlingsson, A Birgisson, JG Politz, M Lentczner
US Patent 9,397,990, 2016
142016
Multi-run security
A Birgisson, A Sabelfeld
European Symposium on Research in Computer Security, 372-391, 2011
72011
Decompositional reasoning about the history of parallel processes
L Aceto, A Birgisson, A Ingolfsdottir, MR Mousavi
International Conference on Fundamentals of Software Engineering, 32-47, 2011
72011
An implementation and semantics for transactional memory introspection in Haskell
A Birgisson, U Erlingsson
Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and …, 2009
62009
Position Paper: Differential Privacy with Information Flow Control
A Birgisson, M Abadi, F McSherry
PLAS 2011, 2011
5*2011
Device access revocation
A Birgisson, Y Gutnik
US Patent 10,146,932, 2018
32018
FIDO 2.0: Web API for accessing FIDO 2.0 credentials
H Le Van Gong, D Balfanz, A Czeskis, A Birgisson, J Hodges
World Wide Web Consortium (W3C) Member Submission, 2015
32015
Immersion through headtracking
A Birgisson, B Kristjansson
Unpublished student report. Retrieved from the Internet: http://www. hvergi …, 2008
22008
Secure connections for low power devices
A Birgisson, B Zhu, Y Gutnik
US Patent App. 15/413,762, 2017
12017
Decompositional reasoning about the history of parallel processes
L Aceto, A Birgisson, A Ingolfsdottir, M Mousavi
12010
Manufacturer origin attestation for device user authorization
B de Medeiros, M Dietz, M Duan, A Birgisson
2017
The system can't perform the operation now. Try again later.
Articles 1–20