While updated, I would like to
remark that I currently work towards a new version of this page!
Position: Research assistant at the University
of Freiburg.
Research interests: Privacy and Security in
ubiquitous computing environments. In particular, privacy
forensics, generation of privacy evidence, secure log services and
compliance audits for transparency.
Rafael Accorsi and Matthias Bernauer. On Privacy Evidence
for UbiComp Environments -- Broadening the Notion of Control to
Improve User Acceptance. In Proceedings of the 5th Workshop on Privacy in UbiComp,
pp. 433--438, 2007. [ PDF | BiBTeX ]
Günter Müller, Rafael Accorsi, Sebastian Höhn, Martin Kähmer
and Moritz Strasser. Sicherheit in Ubiquitous Computing: Schutz
durch Gebote? In Friedemann Mattern (ed.) Die Informatisierung
des Alltags. pages 127--142, Springer-Verlag, 2007 [ Book | Chapter | BiBTeX ]
Sebastian Höhn, Rafael Accorsi and Mathias Maier. An
Approach to Usable Security for Ambient Intelligence
Environments. To appear in Long-Term and Dynamical Aspects of
Information Security, Nova Publishers, 2007. [ PDF | Book | BibTeX ]
Martin Kähmer and Rafael Accorsi. Kundenkarten in
hochdynamischen Systemen: Von einer Gefährdung zum Schutz der
Privatsphäre. Proceedings of the KiVS Workshop on Secure Network Configuration,
2007. [ PDF | BiBTeX ]
Stefan Sackmann, Jens Strüker and Rafael Accorsi
Personalization in Privacy-Aware Highly Dynamic
Systems Communications of the ACM, vol. 49(9), pp. 32--38,
September 2006 [ PDF | ACM |
BiBTeX ]
Rafael Accorsi and Jan Peters (Eds.) Proceedings of the ETRICS Workshop on Security in
Autonomous Systems (SecAS'06).
Volume 182 of CEUR Workshop Proceedings, Freiburg, Germany, June
2006. ISSN 1613-0073. Available here.
Rafael Accorsi. On the Relationship of Privacy and Secure
Remote Logging in Dynamic Systems. IFIP International
Federation for Information Processing, Volume 201, Security and Privacy in Dynamic
Environments, S. Fischer-Hübner, K. Rannenberg,
L. Yngström, S. Lindskog, Springer-Verlag, pp. 329--339. [
Springer | PDF |
BiBTex ]
Rafael Accorsi and Adolf Hohl. Delegating Secure Logging in
Pervasive Computing Systems. Proceedings of the International
Conference on Security in Pervasive Computing, John
A. Clarke, Richard F. Paige, Fiona A. C. Polack and Phillip
J. Brooke (Eds.), Volume 3934 of the Lecture Notes in Computer
Science, pp. 58--72, Springer-Verlag 2006. [Bib Entry][Springer
Webpage] A preliminary version of this paper can be found
here.
Rafael Accorsi. Towards a Secure Logging Mechanism for
Dynamic Systems. In Proceedings of the 7th IT Security
Symposium. São José dos Campos, Brazil. November
2005. [Bib Entry][PDF File] (A detailed
version of this paper is available here.)
Rafael Accorsi, Martin Kähmer, and Günter Müller. Security in
UbiComp: Protection through Commandments. In Proceedings of the
Poster Session at the Seventh Conference on Ubiquitous
Computing. Tokyo, Japan. September 2005. [Bib Entry][PDF File]
Rafael Accorsi, David Basin, and Luca Viganò. Modal
Specifications of Trace-Based Security Properties. In
Proceedings of the Second International Workshop on Security
of Mobile Multiagent Systems. Bologna, Italy. July
2002. [Bib entry][PS.GZ]
Rafael Accorsi, David Basin, and Luca Viganò. Towards an
awareness-based semantics for security protocol analysis. In
Post-CAV Workshop on Logical Aspects of Cryptographic Protocol
Verification. Paris, France. July 2001. [Bib entry][PS.GZ]
Rafael Accorsi, Carlos Areces, Wiet Bouma, and Maarten de
Rijke. Features as Constraints. In Proceedings of the
Sixth International Workshop on Feature Interaction and
Telecommunication. Glasgow, U.K., May 2000. [Bib entry] (Hardcopies available upon
request.)
Rafael Accorsi. Exploring the Behaviour of Feature
Interaction via Stable Models. Master of Logic Thesis,
University of Amsterdam - ILLC. Amsterdam, The
Netherlands. December, 1999. [Bib
entry][PS.GZ]
Rafael Accorsi, Carlos Areces, and Maarten de Rijke. An
Approach to Feature Interaction via Stable Models. In
Brazilian Eletronic Journal on Mathematics of
Computation. Pelotas, December, 1999. [Bib entry][PS.GZ]
Rafael Accorsi, Carlos Areces, and Maarten de Rijke. Towards
Feature Interaction via Stable Models. In Second Workshop of
Formal Methods. Florianópolis, Brazil. October, 1999. [Bib entry][PS.GZ]