Prati
Andrei Sabelfeld
Andrei Sabelfeld
Potvrđena adresa e-pošte na chalmers.se - Početna stranica
Naslov
Citirano
Citirano
Godina
Language-based information-flow security
A Sabelfeld, AC Myers
IEEE Journal on selected areas in communications 21 (1), 5-19, 2003
27822003
Probabilistic noninterference for multi-threaded programs
A Sabelfeld, D Sands
Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 200-214, 2000
4052000
Declassification: Dimensions and principles
A Sabelfeld, D Sands
Journal of Computer Security 17 (5), 517-548, 2009
3692009
Dimensions and principles of declassification
A Sabelfeld, D Sands
18th IEEE Computer Security Foundations Workshop (CSFW'05), 255-269, 2005
3402005
A model for delimited information release
A Sabelfeld, AC Myers
Software Security-Theories and Systems: Second Mext-NSF-JSPS International …, 2004
3002004
Dynamic vs. static flow-sensitive security analysis
A Russo, A Sabelfeld
2010 23rd IEEE Computer Security Foundations Symposium, 186-199, 2010
2952010
Enforcing robust declassification
AC Myers, A Sabelfeld, S Zdancewic
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 172-186, 2004
291*2004
Termination-insensitive noninterference leaks more than just a bit
A Askarov, S Hunt, A Sabelfeld, D Sands
Computer Security-ESORICS 2008: 13th European Symposium on Research in …, 2008
2532008
A per model of secure information flow in sequential programs
A Sabelfeld, D Sands
Higher-order and symbolic computation 14, 59-91, 2001
2412001
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
Information-flow security for a core of JavaScript
D Hedin, A Sabelfeld
2012 IEEE 25th Computer Security Foundations Symposium, 3-18, 2012
2202012
Gradual release: Unifying declassification, encryption and key release policies
A Askarov, A Sabelfeld
2007 IEEE Symposium on Security and Privacy (SP'07), 207-221, 2007
2022007
From dynamic to static and back: Riding the roller coaster of information-flow control research
A Sabelfeld, A Russo
Perspectives of Systems Informatics: 7th International Andrei Ershov …, 2010
1762010
Tight enforcement of information-release policies for dynamic languages
A Askarov, A Sabelfeld
2009 22nd IEEE Computer Security Foundations Symposium, 43-59, 2009
1712009
A perspective on information-flow control
D Hedin, A Sabelfeld
Software safety and security, 319-347, 2012
1682012
If this then what? Controlling flows in IoT apps
I Bastys, M Balliu, A Sabelfeld
Proceedings of the 2018 ACM SIGSAC conference on computer and communications …, 2018
1362018
A per model of secure information flow in sequential programs
A Sabelfeld, D Sands
European Symposium on Programming, 40-58, 1999
1261999
Static confidentiality enforcement for distributed programs
A Sabelfeld, H Mantel
International Static Analysis Symposium, 376-394, 2002
1072002
Tracking information flow in dynamic tree structures
A Russo, A Sabelfeld, A Chudnov
Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009
1012009
PrivatePool: Privacy-preserving ridesharing
P Hallgren, C Orlandi, A Sabelfeld
2017 IEEE 30th Computer Security Foundations Symposium (CSF), 276-291, 2017
942017
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–20