Follow
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
2392014
Macaroons: Cookies with contextual caveats for decentralized authorization in the cloud
A Birgisson, JG Politz, U Erlingsson, A Taly, M Vrable, M Lentczner
1402014
Local device authentication
A Birgisson, Y Gutnik, B Zhu, V Buka, JR Ederle, A Semenov, ML Jacoby, ...
US Patent App. 15/392,316, 2017
752017
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
662016
Unifying facets of information integrity
A Birgisson, A Russo, A Sabelfeld
International Conference on Information Systems Security, 48-65, 2010
452010
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
452008
Boosting the permissiveness of dynamic information-flow tracking by testing
A Birgisson, D Hedin, A Sabelfeld
Computer Security–ESORICS 2012: 17th European Symposium on Research in …, 2012
392012
FIDO U2F Javascript API
D Balfanz, A Birgisson, J Lang
Methods 4, U2F, 2013
322013
Capabilities for information flow
A Birgisson, A Russo, A Sabelfeld
Proceedings of the ACM SIGPLAN 6th Workshop on Programming Languages and …, 2011
232011
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
Device access revocation
A Birgisson, Y Gutnik
US Patent 10,146,932, 2018
142018
Secure connections for low power devices
A Birgisson, B Zhu, Y Gutnik
US Patent App. 15/413,762, 2017
122017
Client to authenticator protocol (CTAP)
C Brand, A Czeskis, J Ehrensvärd, MB Jones, A Kumar, R Lindemann, ...
FIDO Alliance, 2019
102019
Decompositional reasoning about the history of parallel processes
L Aceto, A Birgisson, A Ingolfsdottir, MR Mousavi
Fundamentals of Software Engineering: 4th IPM International Conference, FSEN …, 2012
82012
Multi-run security
A Birgisson, A Sabelfeld
Computer Security–ESORICS 2011: 16th European Symposium on Research in …, 2011
82011
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
82009
JSFlow
D Hedin, A Birgisson, L Bello, A Sabelfeld
Software release. Located at http://chalmerslbs. bitbucket. org/jsflow, 2013
52013
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
42015
Position Paper: Differential Privacy with Information Flow Control
A Birgisson, M Abadi, F McSherry
PLAS 2011, 2011
4*2011
Immersion through headtracking
A Birgisson, B Kristjansson
Unpublished student report. Retrieved from the Internet: http://www. hvergi …, 2008
22008
The system can't perform the operation now. Try again later.
Articles 1–20