Rafael Accorsi 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.

Contact: Institute for Computer Science and Social Studies, Dept. of Telematics
Friedrichstr. 50, (Room 04003), D79108 / Freiburg i.Br., Germany.
Phone: +49 761 203 4926. Fax: +49 761 203 4929.

Current events:

1. PC-member InSPEC: International Workshop on Security and Privacy in Enterprise Computing.
2. Co-Organiser of APE'08: First Workshop on Advances in Policy Enforcement.
3. PC-Member ARES'08: The Int. Conf. on Availability, Reliability and Security.
4. PC-Member WISTP'08: Workshop on Information Security and Practices.

Publications: (links will open in a new tab or window)

1. Rafael Accorsi.
   Automated Privacy Audits to Complement the Notion of Control for Identity Management.
   To appear in Proceedings of the IFIP Conference on Policies and Research in Identity Management, Springer-Verlag, April 2008.
   [ PDF | BiBTeX | Springer ]
2. 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 ]
3. 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 ]
4. 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 ]
5. 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 ]
6. 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 ]
7. 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.
8. 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 ]
9. 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.
10. 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.)
11. 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]
    
12. 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]
    
13. 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]
    
14. 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.)
15. 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]
    
16. 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]
    
17. 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]