iPIN and mTAN for secure eID applications

Johannes Braun, Moritz Horsch, and Alex Wiesmaier
In: 8th International Conference on Information Security Practice and Experience (ISPEC 2012) , April 2012.

Selecting Parameters for Secure McEliece-based Cryptosystems

Robert Niebuhr and Mohammed Meziani and Stanislav Bulygin and Johannes Buchmann
In: International Journal of Information Security, April 2012.

On the design and implementation of the Open eCard App

Detlef Hühnlein, Dirk Petrautzki, Johannes Schmölz, Tobias Wich, Moritz Horsch, Thomas Wieland, Jan Eichholz, Alexander Wiesmaier, Johannes Braun, Florian Feldmann, Simon Potzernheim, Jörg Schwenk, Christian Kahlo, Andreas Kühne, Heiko Veit
In: GI SICHERHEIT 2012 Sicherheit - Schutz und Zuverlässigkeit, März 2012.

Towards Typesafe Weaving for Modular Reasoning in Aspect-Oriented Programs

Eric Bodden
In: FOAL ’12: International Workshop on the Foundations of Aspect-Oriented Languages, März 2012.

Reverse Fuzzy Extractors: Enabling Lightweight Mutual Authentication for PUF-enabled RFIDs

Anthony van Herrewege, Stefan Katzenbeisser, Roel Maes, Roel Peeters, Ahmad-Reza Sadeghi, Ingrid Verbauwhede, and Christian Wachsmann
In: Financial Cryptography (FC) 2012, vol. LNCS, Springer, Februar 2012.

Softer Smartcards: Usable Cryptographic Tokens with Secure Execution

Franz Ferdinand Brasser, Sven Bugiel, Atanas Filyanov, Ahmad-Reza Sadeghi and Steffen Schulz
In: Financial Cryptography (FC), vol. LNCS, Springer, Februar 2012.

CTL: A Platform-Independent Crypto Tools Library Based on Dataflow Programming Paradigm

Junaid Jameel Ahmad, Shujun Li, Ahmad-Reza Sadeghi, Thomas Schneider
In: Financial Cryptography (FC), vol. LNCS, Springer, Februar 2012.

MoCFI: A Framework to Mitigate Control-Flow Attacks on Smartphones

Lucas Davi, Alexandra Dmitrienko, Manuel Egele, Thomas Fischer, Thorsten Holz, Ralf Hund, Stefan Nürnberger, Ahmad-Reza Sadeghi
In: 19th Annual Network & Distributed System Security Symposium (NDSS), Februar 2012.

Towards Taming Privilege-Escalation Attacks on Android

Sven Bugiel, Lucas Davi, Alexandra Dmitrienko, Thomas Fischer, Ahmad-Reza Sadeghi, Bhargava Shastry
In: 19th Annual Network & Distributed System Security Symposium (NDSS), Februar 2012.

Identifying meaningless parameterized linear-temporal-logic formulas

Eric Bodden
Januar 2012.

On the Expressiveness of Parameterized Finite-state Runtime Monitors

Eric Bodden
Januar 2012.

A Novel Cryptoprocessor Architecture for Chained Merkle Signature Scheme

Abdulhadi Shoufan, Nico Huber, H. Gregor Molter
In: Microprocessors and Microsystems, Embedded Hardware Design, Elsevier, vol. 35., p. 34-47, 2011.

A benchmarking environment for performance evaluation of tree-based rekeying algorithms

Abdulhadi Shoufan, Tolga Arul
In: Journal of Systems and Software, 2011.

Entwicklung des Firefox Plugins SecRank

Abdullah Ahmad
2011.

Secure Virtualization within a Multi-Processor Soft-core System-on-Chip Architecture

Alexander Biedermann, Marc Stoettinger, Lijing Chen, Sorin A. Huss
In: The 7th International Symposium on Applied Reconfigurable Computing, Belfast, UK, 2011.

Enhancing FPGA Robustness via Generic Monitoring Cores

Alexander Biedermann, Thorsten Piper, Lars Patzina, Sven Patzina, Sorin A. Huss, Andy Schürr, Neeraj Suri
In: 1st International Conference on Pervasive and Embedded Computing and Communication Systems, Vilamoura, Portugal, 2011.

Determining Minimum Interconnect for Reconfigurable Hardware by Analysis and Verification of Pi-Calculus Design Specifications

Andr´{e} Seffrin, Sorin A. Huss
In: 14. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2011), 2011.

Minimal Physical Resource Allocation of Pi-Calculus Schedules to Dynamically Reconfigurable Platforms

Andr´{e} Seffrin, Sorin A. Huss
In: 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2011), 2011.

How a Symmetry Metric Assists Side-Channel Evaluation - A Novel Model Verification Method for Power Analysis

Annelie Heuser, Michael Kasper, Werner Schindler, Marc Stoettinger
In: 14th EUROMICRO Conference on Digital System Design (DSD2011), 2011.

A Recommendation System for Spots in Location-Based Online Social Networks

Betim Berjani and Thorsten Strufe
In: Proceedings of the Eurosys Workshop on Social Network Systems, 2011.

Eignung von Smartphone-Kameras zur Fingerabdruckerkennung und Methoden zur Verbesserung der Qualität der Fingerbilder

Chris Stein, Claudia Nickel
In: BIOSIG 2011, 2011.

Modification of Benford Analysis Improves Fraud Detection – Resolving Conflicts between Access Control and IT Forensics

Christian Winter, Markus Schneider, York Yannikos
In: Advances in Digital Forensics VII – Seventh IFIP WG 11.9 International Conference on Digital Forensics, Orlando, Florida, USA, January 30–February 2, 2011, Revised Selected Papers, vol. IFIP Advances in Information and Communication Technology, Springer, 2011.

Classifying Accelerometer Data via Hidden Markov Models to Authenticate People by the Way they Walk

Claudia Nickel, Christoph Busch
In: 45th IEEE INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY, 2011.

Benchmarking the Performance of SVMs and HMMs for Accelerometer-Based Biometric Gait Recognition

Claudia Nickel, Holger Brandt, Christoph Busch
In: Proceedings of the 11th IEEE International Symposium on Signal Processing and Information Technology, 2011.

Classification of Acceleration Data for Biometric Gait Recognition on Mobile Devices

Claudia Nickel, Holger Brandt, Christoph Busch
In: BIOSIG 2011, 2011.

Scenario Test for Accelerometer-Based Biometric Gait Recognition

Claudia Nickel, Mohammad Derawi, Patrick Bours, Christoph Busch
In: 3rd International Workshop on Security and Communication Networks (IWSCN 2011), 2011.

We Must Move - We Will Move: On Mobile Phones as Sensing Platforms

D. Christin, M. Hollick
In: Proceedings of the 10th GI/ITG KuVS Fachgespräch Drahtlose Sensornetze (FGSN11), 2011.

Closure Joinpoints: Block joinpoints without surprises

Eric Bodden
In: AOSD '11: Proceedings of the 10th international conference on Aspect-oriented software development, 2011.

Breaking DVB-CSA

Erik Tews, Julian Wälde, Michael Weiner
In: Western European Workshop on Research in Cryptology - WEWoRC 2011, 2011.

Usability Analysis of Helios - An Open Source Verifiable Remote Electronic Voting System.

Fatih Karayumak, Maina M. Olembo, Michaela Kauer, Melanie Volkamer
In: Proceedings of the Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE), 2011.

User Study of the Improved Helios Voting System Interface

Fatih Karayumak, Michaela Kauer, Maina M. Olembo, Tobias Volk, Melanie Volkamer
In: Socio-Technical Aspects in Security and Trust (STAST), 2011 1st Workshop on , IEEE Digital Library, p. 37-44, 2011. ISBN 1-4577-1181-7.

Cryptographic Treatment of Private User Profiles

Felix Günther and Mark Manulis and Thorsten Strufe
In: 15th International Conference on Financial Cryptography and Data Security (FC 2011), RLCPS, 2011.

Key Management in Distributed Online Social Networks

Felix Günther and Mark Manulis and Thorsten Strufe
In: Proceedings of WoWMoM/DSPAN, 2011.

An Efficient Distributed Privacy-preserving Recommendation System

Frederik Armknecht and Thorsten Strufe
In: Proceedings of the 10th IEEE/IFIP Med-Hoc-Net, 2011.

State Space Optimization within the DEVS Model of Computation for Timing Efficiency

H. Gregor Molter, André Seffrin, Sorin A. Huss
In: 19th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC'11), 2011.

A Simple Power Analysis Attack on a McEliece Cryptoprocessor

H. Gregor Molter, Marc Stoettinger, Abdulhadi Shoufan, Falko Strenzke
In: Journal of Cryptographic Engineering, 2011.

Integrating Secure Beamforming into Car-to-X Architectures

Hagen Stuebing, Attila Jaeger, Nikolas Wagner, Sorin A. Huss
In: SAE 2011 World Congress & Exhibition, Detroit, 2011.

Security Aspects of Piecewise Hashing in Computer Forensics

Harald Baier, Frank Breitinger
In: 6th International Conference on IT Security Incident Management & IT Forensics (IMF 2011), 2011.

Assumptions and Guarantees for Compositional Noninterference

Heiko Mantel and David Sands and Henning Sudbrock
In: Proceedings of the 24th IEEE Computer Security Foundations Symposium, p. 218-232, 2011.

XMSS - A Practical Forward Secure Signature Scheme based on Minimal Security Assumptions

Johannes Buchmann, Andreas Hülsing
In: Post-Quantum Cryptography - Proceedings of PQCrypto 2011, 2011.

Introducing Verifiability in the POLYAS Remote Electronic Voting System.

Maina M. Olembo, Patrick Schmidt, Melanie Volkamer
In: Proceedings of the Sixth International Conference on Availability, Reliability and Security (ARES 2011) , p. 127 - 134, 2011.

Privacy-Preserving {ECG} Classification with Branching Programs and Neural Networks

Mauro Barni, Pierluigi Failla, Riccardo Lazzeretti, Ahmad-Reza Sadeghi and Thomas Schneider
In: IEEE Transactions on Information Forensics and Security (TIFS), 2011.

Measures to Establish Trust in Internet Voting

Melanie Volkamer and Oliver Spycher and Eric Dubuis
In: ICEGOV 2011, Proceedings of the 5th International Conference on Theory and Practice of Electronic Governance, vol. ICEGOV '11, ACM, p. 1-10, 2011.

Trust-based Content Distribution for Mobile Ad Hoc Networks

Mentari Djatmiko, Roksana Boreli, Aruna Seneviratne, and Sebastian Ries
In: 19th Annual Meeting of the IEEE International Symposium on Modeling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS 2011) [to appear], 2011.

Analysis of Gauss-Sieve for Solving the Shortest Vector Problem in Lattices

Michael Schneider
In: WALCOM 2011, vol. LNCS, Springer, p. 89-97, 2011.

Extreme Enumeration on GPU and in Clouds

Po-Chun Kuo, Michael Schneider, Özgür Dagdelen, Jan Reichelt, Johannes Buchmann, Chen-Mou Cheng and Bo-Yin Yang
In: 12th Workshop on Cryptographic Hardware and Embedded Systems, 2011.

Power Trace Alignment for Cryptosystems featuring Random Frequency Countermeasures

Qizhi Tian, Abdulhadi Shoufan, Marc Stoettinger, Sorin A. Huss
In: 2011 IEEE International Conference on Information Theory and Information Security (ICITIS2011), 2011.

Service Automata

Richard Gay, Heiko Mantel, Barbara Sprick
In: Preproceedings of the 8th International Workshop on Formal Aspects of Security & Trust (FAST), 2011.

Learning Whom to Trust in a Privacy-Friendly Way

Sebastian Ries, Marc Fischlin, Leonardo A. Martucci, and Max Mühlhäuser
In: Proceedings of the 10th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-11), 2011.

Algebraic cryptanalysis of the round-reduced and side channel analysis of the full PRINTCipher-48

Stanislav Bulygin and Johannes Buchmann
In: Proceedings of The 10th International Conference on Cryptography and Network Security (CANS 2011), vol. Lecture Notes in Computer Science, Springer, p. 54-75, 2011.

The Impact of Fault Models on Software Robustness Evaluations

Stefan Winter, Constantin Sarbu, Brendan Murphy, Neeraj Suri
In: Proceedings of the 33rd International Conference on Software Engineering (ICSE), 2011.

A Novel Method for Secure Intellectual Property Deployment in Embedded Systems

Sunil Malipatlolla, Sorin A. Huss
In: VII Southern IEEE International Conference on Prgrammable Logic, 2011.

TinyTPM: A Lightweight Module aimed to IP Protection and Trusted Embedded Platforms

Thomas Feller, Sunil Malipatlolla, David Meister, Sorin A. Huss
In: IEEE International Symposium on Hardware Oriented Security and Trust (HOST 2011), 2011.

Improving the Usability of Privacy Settings in Facebook

Thomas Paul and Thorsten Strufe
In: Proceedings of HCI/Health, Wealth and Identity Theft, 2011.

Improving the Usability of Privacy Settings in Facebook

Thomas Paul, Daniel Puscher, and Thorsten Strufe
2011.

Aktivitätserkennung auf Smartphones

Tobias Wirtl, Claudia Nickel
In: BIOSIG 2011, 2011.

Random Oracles in a Quantum World

Dan Boneh, Özgür Dagdelen, Marc Fischlin, Anja Lehmann, Christian Schaffner, and Mark Zhandry
In: 17th International Conference on Theory and Application of Cryptology and Information Security, Dezember 2011.

Gebrauchstaugliche Nutzerauthentifizierung

Luigi LoN Iocano and Michaela Kauer and Melanie Volkamer
In: digma, no. 4, p. 172-175, Dezember 2011.

Hashing into elliptic curves

Simon Warta
Dezember 2011.

Multilaterally Secure Pervasive Cooperation

Stefan G. Weber
Dezember 2011.

A Survey on Privacy in Mobile Participatory Sensing Applications

D. Christin, A. Reinhardt, S.S. Kanhere, M. Hollick
In: The Journal of Systems & Software, vol. 84, no. 11, p. 1928-1946, November 2011.

Computing Shortest Lattice Vectors on Special Hardware

Michael Schneider
November 2011.

Towards a Trust Management System for Cloud Computing

Sheikh Mahbub Habib, Sebastian Ries, Max Mühlhäuser
In: 2011 International Joint Conference of IEEE TrustCom-11/IEEE ICESS-11/FCST-11 (TrustCom 2011), IEEE CS, p. 933-939, November 2011.

Rooting Android - Extending the ADB by an Auto-Connecting WiFi-Accessible Service

Assem Nazar, Mark M. Seeger, Harald Baier
In: 16th Nordic Conference in Secure IT Systems (NordSec 2011), vol. Lecture Notes in Computer Science, Springer-Verlag, Oktober 2011.

Privacy-preserving Collaborative Path Hiding for Participatory Sensing Applications

D. Christin, J. Guillemet, A. Reinhardt, M. Hollick, S. S. Kanhere
In: Proceedings of the 8th IEEE International Conference on Mobile Ad-hoc and Sensor Systems (MASS 2011), p. 341--350, Oktober 2011.

Performance Issues about Context-Triggered Piecewise Hashing

Frank Breitinger, Harald Baier
In: 3rd International ICST Conference on Digital Forensics & Cyber Crime, Oktober 2011.

Large-Scale Opportunistic Sensing

Josh Wall, John K. Ward, Luis Castro, Jesus Favela, Shlomo Berkovsky, Christopher Lueg, Francisco C. Pereira, Pedro Correia, Michel Ferreira, Pedro Gomes, Davide Bolchini, Stefan G. Weber, Eunjeong Park, Hyo Suk Nam
In: IEEE Pervasive Computing, vol. 10, no. 4, p. 54-58, Oktober 2011.

Trusted Virtual Domains on OKL4: Secure Information Sharing on Smartphones

Lucas Davi, Alexandra Dmitrienko, Christoph Kowalski, Marcel Winandy
In: Proceedings of the 6th ACM Workshop on Scalable Trusted Computing (STC), ACM Press, Oktober 2011.

POSTER: Control-Flow Integrity for Smartphones

Lucas Davi, Alexandra Dmitrienko, Manuel Egele, Thomas Fischer, Thorsten Holz, Ralf Hund, Stefan Nürnberger, Ahmad-Reza Sadeghi
In: 18th ACM Conference on Computer and Communications Security (CCS'11), ACM, Oktober 2011.

Modular Reasoning with Join Point Interfaces

Milton Inostroza, Éric Tanter, Eric Bodden
Oktober 2011.

Practical and Lightweight Domain Isolation on Android

Sven Bugiel, Lucas Davi, Alexandra Dmitrienko, Stephan Heuser, Ahmad-Reza Sadeghi, Bhargava Shastry
In: Proceedings of the 1st ACM CCS Workshop on Security and Privacy in Mobile Devices (SPSM), ACM Press, Oktober 2011.

POSTER: The Quest for Security against Privilege Escalation Attacks on Android

Sven Bugiel, Lucas Davi, Alexandra Dmitrienko, Thomas Fischer, Ahmad-Reza Sadeghi, Bhargava Shastry
In: 18th ACM Conference on Computer and Communications Security (CCS'11), ACM, Oktober 2011.

BEST PAPER: Twin Clouds: Secure Cloud Computing with Low Latency

Sven Bugiel, Stefan Nürnberger, Ahmad-Reza Sadeghi, Thomas Schneider
In: Communications and Multimedia Security Conference (CMS'11), Springer, Oktober 2011.

AmazonIA: When Elasticity Snaps Back

Sven Bugiel, Thomas Pöppelmann, Stefan Nürnberger, Ahmad-Reza Sadeghi, Thomas Schneider
In: 18th ACM Conference on Computer and Communications Security (CCS'11), ACM, Oktober 2011.

Small Public Keys and Fast Verication for Multivariate Quadratic Public Key Systems

Albrecht Petzoldt and Enrico Thomae and Stanislav Bulygin and Christopher Wolf
In: Proceedings of "Workshop on Cryptographic Hardware and Embedded Systems 2011 (CHES 2011)", vol. Lecture Notes in Computer Science, Springer, p. 475-490, Spetember 2011.

DECT Security Analysis

Erik Tews
Spetember 2011.

Mobile Authentisierung und Signatur

Johannes Braun, Moritz Horsch, Alexander Wiesmaier, Detlef Hühnlein
In: D-A-CH Security 2011: Bestandsaufnahme, Konzepte, Anwendungen, Perspektiven, syssec Verlag, p. 32-43, Spetember 2011. ISBN 978-3-00-034960-7.

Random Sampling for Short Lattice Vectors on Graphics Cards

Michael Schneider, Norman Göttert
In: Workshop on Cryptographic Hardware and Embedded Systems 2011 (CHES 2011), Spetember 2011.

Extreme Enumeration on GPU and in Clouds

Po-Chun Kuo, Michael Schneider, Özgür Dagdelen, Jan Reichelt, Johannes Buchmann, Chen-Mou Cheng, Bo-Yin Yang
In: Workshop on Cryptographic Hardware and Embedded Systems - CHES 2011, vol. LNCS , Springer, p. 176-191, Spetember 2011.

Recyclable PUFs: Logically Reconfigurable PUFs

Stefan Katzenbeisser, Ünal Kocabas, Vincent van der Leest, Ahmad-Reza Sadeghi, Geert-Jan Schrijen, Heike Schröder, Christian Wachsmann
In: Workshop on Cryptographic Hardware and Embedded Systems (CHES), vol. LNCS, Springer, p. 374-389, Spetember 2011.

Robust electronic voting: Introducing robustness in Civitas

Fatemeh Shirazi Hosseini Dokht, Stephan Neumann, Ines Ciolacu, Melanie Volkamer
In: International Workshop on Requirements Engineering for Electronic Voting Systems (REVOTE), 2011 , p. 47 -55, August 2011.

Vote casting device with VV-SV-PAT for elections with complicated ballot papers

Melanie Volkamer, Jurlind Budurushi, Denise Demirel
In: International Workshop on Requirements Engineering for Electronic Voting Systems (REVOTE'11), p. 1-8, August 2011. ISBN 978-1-4577-0951-7 .

Using SAT Solving to Improve Differential Fault Analysis of Trivium

Mohamed Saied Emam Mohamed and Stanislav Bulygin and Johannes Buchmann
In: Proceedings of "The 5th International Conference on Information Security and Assurance" ISA 2011, vol. Communications in Computer and Information Science, Springer, p. 62-71, August 2011.

GPU Implementation of the Keccak Hash Function Family

Pierre-Louis Cayrel, Gerhard Hoffmann, Michael Schneider
In: The 5th International Conference on Information Security and Assurance - ISA 2011, August 2011.

Recent Progress in Code-Based Cryptography

Pierre-Louis Cayrel, Sidi Mohamed El Yousfi Alaoui, Gerhard Hoffmann, Mohammed Meziani, Robert Niebuhr
In: The 5th International Conference on Information Security and Assurance .ISA-2011, Springer, p. 21-32, August 2011.

Side-channels and eVoting machine security: Identifying vulnerabilities and defining requirements

Richard Frankland, Denise Demirel, Jurlind Budurushi, Melanie Volkamer
In: International Workshop on Requirements Engineering for Electronic Voting Systems (REVOTE'11), p. 37-46, August 2011. ISBN 978-1-4577-0951-7.

Improved identity-based identification and signature schemes using Quasi-Dyadic Goppa codes

Sidi Mohamed El Yousfi Alaoui, Pierre-Louis Cayrel, and Meziani Mohammed
p. 146-155, August 2011.

PathFinder: Efficient Lookups and Efficient Search in Peer-to-Peer Networks

Dirk Bradler, Lachezar Krumov, Max Mühlhäuser, Jussi Kangasharju
In: Distributed Computing and Networking: 12th International Conference, ICDCN 2011, vol. 6522, p. 77-82, Juli 2011. ISBN 978-3-642-17679-1_7.

Mobile Authentisierung mit dem neuen Personalausweis (MONA)

Moritz Horsch
Juli 2011.

Fully Homomorphic Encryption: Overview and Cryptanalysis

Patrick Schmidt
Juli 2011.

Location Privacy in RFID Systemen

Ahmad-Reza Sadeghi, Christian Wachsmann
In: Digma - Zeitschrift für Datenrecht und Informationssicherheit, vol. 11, no. 2, p. 70-75, Juni 2011.

Lightweight Remote Attestation Using Physical Functions

Ahmad-Reza Sadeghi, Steffen Schulz, Christian Wachsmann
In: ACM Conference on Wireless Network Security (WiSec), ACM Press, p. 109-114, Juni 2011.

Lightweight Remote Attestation using Physical Functions (Extended Version)

Ahmad-Reza Sadeghi, Steffen Schulz, Christian Wachsmann
Juni 2011.

Uni-directional Trusted Path: Transaction Confirmation on Just One Device

Atanas Filyanov , Jonathan M. McCune, Ahmad-Reza Sadeghi, Marcel Winandy
In: 41st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2011), Juni 2011.

A Picture is Worth a Thousand Words: Privacy-aware and Intuitive Relationship Establishment in Online Social Networks

D. Christin, T. Freundenreich, M. Hollick
In: Proceedings of the 3rd International Workshop on Security and Privacy in Spontaneous Interaction and Mobile Phone Use (IWSSI/SPMU), Juni 2011.

Privacy for Reporters of Human Rights Abuses [to appear]

Leonardo A. Martucci and Simone Fischer-Hübner
In: Mobile Technologies for Conflict Management. New Avenues for Online Dispute Resolution, vol. Law, Governance and Technology Series, Springer, Juni 2011.

Sybil-Free Pseudonyms, Privacy and Trust: Identity Management in the Internet of Services

Leonardo A. Martucci, Sebastian Ries, and Max Mühlhäuser
In: Journal of Information Processing, vol. 19, p. 317-331, Juni 2011.

Improved Strategies for Solving Multivariate Polynomial Equation Systems over Finite Fields

Mohamed Saied Emam Mohamed
Juni 2011.

Interactive decryption of DECT phone calls

Patrick McHardy, Andreas Schuler, Erik Tews
In: Fourth ACM Conference on Wireless Network Security (WiSec '11), Juni 2011.

CertainLogic: A Logic for Modeling Trust and Uncertainty (Short Paper)

Sebastian Ries, Sheikh Mahbub Habib, Max Mühlhäuser, Vijay Varadharajan
In: In Proceedings of the 4th International Conference on Trust and Trustworthy Computing (TRUST 2011), Springer, Juni 2011.

Taxonomy of Technological IT Outsourcing Risks: Support for Risk Identification and Quantification

Tobias Ackermann; André Miede; Peter Buxmann; Ralf Steinmetz
In: Proceedings of the 19th European Conference on Information Systems (ECIS), Juni 2011.

Improvements for the XL Algorithm with Applications to Algebraic Cryptanalysis

Wael Said Abdelmageed Mohamed
Juni 2011.

Voting software to support election preparation, counting, and tallying

Demirel, Denise and Frankland, Richard and Popovic, Darko and Volkamer, Melanie
In: CeDEM11 Proceedings of the International Conference for E-Democracy and Open Government, Edition Donau-Universität Krems, p. 287-300, Mai 2011.

Readiness of various eVoting systems for complex elections

Denise Demirel, Richard Frankland, Melanie Volkamer
Mai 2011.

Taming Reflection: Aiding Static Analysis in the Presence of Reflection and Custom Class Loaders

Eric Bodden, Andreas Sewe, Jan Sinschek, Mira Mezini and Hela Oueslati
In: ICSE '11: International Conference on Software Engineering, Mai 2011.

A Formal Foundation for the Security Features of Physical Functions

Frederik Armknecht, Roel Maes, Ahmad-Reza Sadeghi, Francois-Xavier Standaert, Christian Wachsmann
In: IEEE Symposium on Security and Privacy (SSP), IEEE Computer Society, p. 397-412, Mai 2011.

Using Control-Flow Techniques in a Security Context - A Survey on Common Prototypes and their Common Weakness

Mark M. Seeger
In: International Conference on Network Computing and Information Security (NCIS 2011), Mai 2011.

How to Comprehensively Describe a Biometric Update Mechanisms for Keystroke Dynamics

Mark M. Seeger, Patrick Bours
In: Second International Workshop on Security and Communication Networks (IWSCN 2011), Mai 2011.

Group-Agreement as a Reliability Measure for Witness Recommendations in Reputation-Based Trust Protocols

Sascha Hauke, Martin Pyka, Dominik Heider
In: Trans. on Comput. Sci. XII, LNCS 6670 , p. 231-255, Mai 2011.

A Scalable Multi-FPGA Platform for Complex Networking Applications

Sascha Mühlbach, Andreas Koch
In: 19th Annual IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM 2011), Mai 2011.

A Parallel Implementation of GaussSieve for the Shortest Vector Problem in Lattices

Benjamin Milde, Michael Schneider
In: PaCT 2011, April 2011.

In-packet Bloom Filters: Design and Networking Applications

Christian Esteve Rothenberg, Carlos A. B. Macapuna, Maurício F. Magalhães, Fábio Verdi, Alexander Wiesmaier
In: Computer Networks - The International Journal of Computer and Telecommunications Networking, vol. 55, no. 6, p. 1364-1378, April 2011.

Implementation of McEliece using quasi-dyadic Goppa codes

Gerhard Hoffmann
April 2011.

On the security of the Winternitz one-time signature scheme

Johannes Buchmann, Erik Dahmen, Sarah Ereth, Andreas Hülsing, Markus Rückert
In: Africacrypt 2011, April 2011.

Convolution Approach for Feature Detection in Topological Skeletons Obtained from Vascular Patterns

Martin Aastrup Olsen, Daniel Hartung, Christoph Busch, Rasmus Larsen
In: IEEE Symposium Series on Computational Intelligence 2011, In: IEEE Symposium Series in Computational Intelligence (SSCI 2011), April 2011.

Improving the effciency of Generalized Birthday Attacks against certain structured cryptosystems

Robert Niebuhr, Pierre-Louis Cayrel, Johannes Buchmann
In: The Seventh International Workshop on Coding and Cryptography 2011 (WCC 2011), April 2011.

CertainLogic: A Logic for Modeling Trust and Uncertainty

Sebastian Ries, Sheikh Mahbub Habib, Max Mühlhäuser, Vijay Varadharajan
April 2011.

SWIFFT-Modikationen, Korrektur von Operm5

Stephan Mönkehues
April 2011.

XManDroid: A New Android Evolution to Mitigate Privilege Escalation Attacks

Sven Bugiel, Lucas Davi, Alexandra Dmitrienko, Thomas Fischer, Ahmad-Reza Sadeghi
April 2011.

Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine

Aibek Sarimbekov, Philippe Moret, Walter Binder, Andreas Sewe, Mira Mezini
In: Proceedings of the 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2011), März 2011.

Linear Recurring Sequences for the UOV Key Generation

Albrecht Petzoldt, Stanislav Bulygin, Johannes Buchmann
In: Proceedings of PKC 2011, vol. LNCS, Springer, p. 335-350, März 2011.

An efficient PACE Implementation for mobile Devices

Alexander Wiesmaier, Moritz Horsch, Johannes Braun, Franziskus Kiefer, Detlef Hühnlein, Falko Strenzke, Johannes Buchmann
In: ASIA CCS '11: 6th ACM Symposium on Information, Computer and Communications Security, vol. ACM Symposium on Information, Computer and Communications Security, ACM, p. 176-185, März 2011.

Biometric Template Protection

Christoph Busch, Ulrike Korte, Sebastian Abt, Christian Böhm, Ines Färber, Sergej Fries, Johannes Merkle, Claudia Nickel, Alexander Nouak, Alexander Opel, Annahita Oswald, Thomas Seidl, Bianca Wackersreuther, Peter Wackersreuther, Xuebing Zhou
In: Datenschutz und Datensicherheit (DuD), März 2011.

BEST PAPER: Using Hidden Markov Models for Accelerometer-Based Biometric Gait Recognition

Claudia Nickel, Christoph Busch, Sathyanarayanan Rangarajan, Manuel Möbius
März 2011.

A Formal Approach Towards Measuring Trust in Distributed Systems

Guido Schryen and Melanie Volkamer and Sebastian Ries and Sheikh Mahbub Habib
In: Proceedings of the 2011 ACM Symposium on Applied Computing, ACM, März 2011.

ROPdefender: A Detection Tool to Defend Against Return-Oriented Programming Attacks

Lucas Davi, Ahmad-Reza Sadeghi, Marcel Winandy
In: 6th ACM Symposium on Information, Computer and Communications Security (ASIACCS 2011), März 2011.

Practical Affiliation-Hiding Authentication from Improved Polynomial Interpolation

M. Manulis,B. Poettering
In: ACM Symposium on Information, Computer and Communications Security (ASIACCS 2011), März 2011.

Magic for the Masses: Safer High-level Low-level Programming through Customizable Static Analyses

Ralf Mitschke, Andreas Sewe, Mira Mezini
In: Proceedings of the 1st Workshop on Modularity In Systems Software (MISS 2011), vol. ACM Digital Library, ACM Press, März 2011. ISBN 978-1-4503-0647-8.

NetStage/DPR: A Self-Adaptable FPGA Platform for Application-Level Network Security

Sascha Mühlbach, Andreas Koch
In: 7th International Symposium on Applied Reconfigurable Computing (ARC 2011), März 2011.

Twin Clouds: An Architecture for Secure Cloud Computing (Extended Abstract)

Sven Bugiel, Ahmad-Reza Sadeghi, Thomas Schneider, Stefan Nürnberger
In: Workshop on Cryptography and Security in Clouds (CSC'11), März 2011.

A Tool for Static Detection of Timing Channels in Java

Alexander Lux and Artem Starostin
In: 2nd International Workshop on Constructive Side-Channel Analysis and Secure Design, Februar 2011.

Kosten-Nutzen-Analyse von elektronischen Wahlen an der TU Darmstadt

Darko Popovic
Februar 2011.

Cryptographic Treatment of Private User Profiles

F. Günther, M. Manulis, T. Strufe
In: 15th International Conference on Financial Cryptography and Data Security (FC 2011), RLCPS, Springer, Februar 2011.

Application of Lattice Basis Reduction

Lena Likavec
Februar 2011.

Secure Set Intersection with Untrusted Hardware Tokens

Marc Fischlin, Benny Pinkas, Ahmad-Reza Sadeghi, Thomas Schneider, Ivan Visconti
In: 11th Cryptographers' Track at the RSA Conference (CT-RSA'11), vol. LNCS, Springer, Februar 2011.

Internetkonnektivität als Indikator für wirtschaftliche Stärke – Das Internet in Vergangenheit und Gegenwart

Mark M. Seeger
In: Wirtschaftsinformatik und Management, p. 46-50, Februar 2011.

Improved Differential Fault Analysis of Trivium

Mohamed Saied Emam Mohamed, Stanislav Bulygin, Johannes Buchmann
In: Proceedings of COSADE 2011, p. 147-158, Februar 2011.

The German eCard-Strategy

Moritz Horsch, Martin Stopczynski
Februar 2011.

BEST PAPER: A Novel Network Platform for Secure and Efficient Malware Collection based on Reconfigurable Hardware Logic

Sascha Mühlbach, Andreas Koch
In: World Congress on Internet Security (WorldCIS 2011), Februar 2011.

hPIN/hTAN: A Lightweight and Low-Cost e-Banking Solution against Untrusted Computers

Shujun Li, Ahmad-Reza Sadeghi, Soeren Heisrath, Roland Schmitz and Junaid Jameel Ahmad
In: 15th International Conference on Financial Cryptography and Data Security (FC), Februar 2011.

MundoMessage: Enabling Trustworthy Ubiquitous Emergency Communication

Stefan G. Weber, Yulian Kalev, Sebastian Ries, Max Mühlhäuser
In: ACM International Conference on Ubiquitous Information Management and Communication 2011 (ACM ICUIMC 2011), p. 29:1-29:10, Februar 2011.

A Security Architecture for Accessing Health Records on Mobile Phones

Alexandra Dmitrienko, Zecir Hadzic, Hans Löhr, Ahmad-Reza Sadeghi, Marcel Winandy
In: HEALTHINF'2011: Proceedings of the 4th International Conference on Health Informatics, Januar 2011.

A new metric for measuring the visual quality of video watermarks

Daniel Trick, Stefan Thiemert
In: Proceeding of Electronic Imaging 2011 - Media Watermarking, Security, and Forensics XIII, Januar 2011.

The Clara framework for hybrid typestate analysis

Eric Bodden and Laurie Hendren
In: International Journal on Software Tools for Technology Transfer (Springer), Januar 2011.

Secure Long-term Record Keeping in the Public Sector

Lucie Langer, Alexander Wiesmaier, Johannes Buchmann
In: EGovernement Review, no. 7, p. 14-15, Januar 2011.

Rihamark: Perceptual Image Hash Benchmarking

Martin Steinebach, Christoph Zauner, Hermann Eckehard
In: Proceeding of Electronic Imaging 2011 - Media Watermarking, Security, and Forensics XIII, Januar 2011.

Better Key Sizes (and Attacks) for LWE-Based Encryption

Richard Lindner, Chris Peikert
In: CT-RSA 2011, Januar 2011.

Re-synchronizing audio watermarking after nonlinear time stretching

Stefan Nürnberger, Martin Steinebach, Sascha Zmudzinski
In: Proceeding of Electronic Imaging 2011 - Media Watermarking, Security, and Forensics XIII, Januar 2011.

Re-synchronizing audio watermarking after nonlinear time stretching

Stefan Nürnberger, Martin Steinebach, Sascha Zmudzinski
In: Proceeding of Electronic Imaging 2011 - Media Watermarking, Security, and Forensics XIII, Januar 2011.

Collusion-secure patchwork embedding for transaction watermarking

Waldemar Berchtold, Sascha Zmudzinski, Marcel Schäfer, Martin Steinebach
In: Proceeding of Electronic Imaging 2011 - Media Watermarking, Security, and Forensics XIII, Januar 2011.

Protection of SCADA Communication Channels

Abdelmajid Khelil, Daniel Germanus, Neeraj Suri
2010.

Towards Benchmarking of P2P Technologies from a SCADA Systems Protection Perspective

Abdelmajid Khelil, Sebastian Jeckel, Daniel Germanus and Neeraj Suri
In: Proc. of The 2nd International Conference on Mobile Lightweight Wireless Systems (MOBILIGHT), 2010.

An FPGA Accelerator for Hash Tree Generation in the Merkle Signature Scheme

Abdulhadi Shoufan
In: 6th International Symposium on Applied Reconfigurable Computing ARC 2010, 2010.

Chancen und Risiken des Einsatzes von SaaS – die Sicht der Anwender

Alexander Benlian and Thomas Hess and Peter Buxmann
In: Wirtschaftsinformatik und Management, vol. 2, no. 2, p. 23--32, 2010.

Approach to Identity Card-based Voice-over-IP Authentication

Andreas Plies, Michael Massoth, Ronald Marx
In: Proceedings of the 2nd International Conferences on Advances in Multimedia (MMEDIA'10), 2010.

Handbook of Social Network Technologies and Applications

Anwitaman Datta, Sonja Buchegger, Le-Hung Vu, Krzysztof Rzadca, Thorsten Strufe
2010.

Developing an evaluation approach for Voting Service Providers

Axel Schmidt, Melanie Volkamer, Johannes Buchmann
In: Electronic Voting 2010, EVOTE 2010, 4th International Conference, Co-organized by Council of Europe, Gesellschaft für Informatik and E-Voting.CC, July 21st - 24th, 2010, in Castle Hofen, Bregenz, Austria, vol. LNI, GI, 2010. ISBN 978-3-88579-261-1.

ParTAC: A Partition-Tolerant Atomic Commit Protocol for MANETs

Brahim Ayari, Abdelmajid Khelil and Neeraj Suri
In: Proceedings of the 11th International Conference on Mobile Data Management (MDM), 2010.

Data-based Agreement for Inter-Vehicle Coordination

Brahim Ayari, Abdelmajid Khelil, Kamel Saffar and Neeraj Suri
In: Proc. of the 11th International Conference on Mobile Data Management (MDM), 2010.

Generic IDE Support for Dispatch-Based Composition

Christoph Bockisch, Andreas Sewe
In: Proceedings of the First International Workshop on Composition: Objects, Aspects, Components, Services and Product Lines, 2010.

Biometrische Nachrichten-Authentisierung

Christoph Busch, Daniel Hartung
2010.

Biometrische Template-Protection-Verfahren und Interoperabilitätsstrategien

Christoph Busch, Sebastian Abt, Claudia Nickel, Ulrike Korte, Xuebing Zhou
2010.

Manipulating Mobile Devices with a private GSM Base Station - a Case Study

Christoph Kemetmüller, Mark M. Seeger, Harald Baier, Christoph Busch
In: Eighth International Network Conference (INC 2010), 2010.

Template Protection for Biometric Gait Data

Claudia Nickel, Xuebing Zhou, Christoph Busch
2010.

Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays

Daniel Germanus, Abdelmajid Khelil and Neeraj Suri
In: Proc. International Symposium on Architecting Critical Systems (ISARCS), 2010.

Generic Information Transport for Wireless Sensor Networks

Faisal Karim Shaikh, Abdelmajid Khelil, Brahim Ayari, Piotr Szczytowski and Neeraj Suri
In: The Third IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC), 2010.

User Survey on Phone Security and Usage

Frank Breitinger und Claudia Nickel
In: BIOSIG 2010 - Proceedings of the Special Interest Group on Biometrics and Electronic Signatures, 2010.

A Demonstrator for Beamforming in C2X Communication

Hagen Stuebing, Abdulhadi Shoufan, Sorin A. Huss
In: 3rd IEEE International Symposium on Wireless Vehicular Communications (WIVEC 2010), Taipei, 2010.

Enhancing Security and Privacy in C2X Communication by Radiation Pattern Control

Hagen Stuebing, Abdulhadi Shoufan, Sorin A. Huss
In: 3rd IEEE International Symposium on Wireless Vehicular Communications (WIVEC 2010), Taipei, 2010.

Flexible Scheduler-independent Security

Heiko Mantel, Henning Sudbrock
In: European Symposium on Research in Computer Security (ESORICS), vol. LNCS 6345, Springer, p. 116-133, 2010.

Modular Biometric Authentication Service System (MBASSy)

Heiko Witte and Claudia Nickel
In: BIOSIG 2010 - Proceedings of the Special Interest Group on Biometrics and Electronic Signatures, 2010.

Fingerprint Recognition with Cellular Partitioning and Co-Sinusoidal Triplets

Jan Hirzel, Daniel Hartung, Christoph Busch
2010.

Shortest Lattice Vector Enumeration on Graphics Cards

Jens Hermans, Michael Schneider, Johannes Buchmann, Frederik Vercauteren, Bart Preneel
In: Africacrypt 2010, vol. LNCS, Springer, p. 52-68, 2010.

Abwehr von Direct Spam over Internet Telephony mittels Anrufer Pre-Validierung

Jürgen Müller, Michael Massoth
In: Technologien und Anwendungen - Vorträge der 15. ITG-Fachtagung, 2010.

BEST PAPER: Defense Against Direct Spam Over Internet Telephony by Caller Pre-Validation

Jürgen Müller, Michael Massoth
In: Proceedings of the 6th Advanced International Conference on Telecommunications (AICT'10), IEEE, p. 172-177, 2010.

Resilient Peer-to-Peer Live-Streaming using Motifs

Lachezar Krumov, Adriana Andreeva, Thorsten Strufe
In: 11th IEEE World of Wireless, Mobile and Multimedia Networks (WoWMoM), p. 1 -- 8, 2010.

Monitor Petri Nets for Security Monitoring

Lars Patzina, Sven Patzina, Thorsten Piper, Andy Schürr
In: Proceedings of 1st International Workshop on Security and Dependability in RCES , vol. ICPS series, 2010. ISBN 978-1-4503-0368-2.

Identifiers, Privacy and Trust in the Internet of Services

Leonardo Martucci and Sebastian Ries and Max Mühlhäuser
In: Proceedings {o}f the 4th {IFIP} {I}nternational {C}onference on {T}rust {M}anagement ({IFIPTM} 2010), 2010.

Handbook of Social Network Technologies and Applications

Leucio-Antonio Cutillo, Mark Manulis, Thorsten Strufe
2010.

On the Security and Feasibility of Safebook : a Distributed privacy-preserving online social network

Leucio-Antonio Cutillo, Refik Molva, Thorsten Strufe
In: Proceedings of the 6th International IFIP AICT 320 Summer School, p. 86 -- 101, 2010.

A Taxonomy Refining the Security Requirements for Electronic Voting: Analyzing Helios as a Proof of Concept

Lucie Langer, Melanie Volkamer, Axel Schmidt, Johannes Buchmann
In: Fifth International Conference on Availability, Reliability and Security (ARES 2010), IEEE Computer Society, p. 475-480, 2010.

Survey of Methods to Improve Side-Channel Resistance on partial Reconfigurable Platforms

Marc Stoettinger, Sunil Malipatlolla, Qizhi Tian
In: Desgin Methodologies for Secure Embedded Systems, 2010.

Schutzziele der IT-Sicherheit

Mark Bedner, Tobias Ackermann
In: Datenschutz und Datensicherheit (DuD), vol. 34, no. 5, p. 323-328, 2010. ISSN 1862-2607.

Observation Mechanism and Cost Model for Tightly Coupled Asymmetric Concurrency

Mark M. Seeger, Stephen D. Wolthusen
In: Fifth International Conference on Systems (ICONS 2010), p. 158-163, 2010. ISBN 978-0-7695-3980-5.

BEST PAPER: The Cost of Observation for Intrusion Detection: Performance Impact of Concurrent Host Observation

Mark M. Seeger, Stephen D. Wolthusen, Christoph Busch, Harald Baier
In: 9th Information Security South Africa (ISSA 2010), 2010.

Exemplary Formalization of Secure Coding Guidelines

Markus Aderhold, Jorge Cuéllar, Heiko Mantel, Henning Sudbrock
2010.

Interactive Access Rule Learning: Generating Adapted Access Rule Sets

Matthias Beckerle, Leonardo A. Martucci, Sebastian Ries
In: In Proceedings of the Second International Conference on Adaptive and Self-adaptive Systems and Applications (ADAPTIVE 2010) [to appear], 2010.

Data Protection in a Profiled World

Melanie Volkamer
In: Data Protection in a Profiled World, p. 177-190, 2010.

Evaluierungsverfahren für Internetwahlsysteme

Melanie Volkamer
In: IT-Information Technology, vol. it 3/2010, p. 169-172, 2010.

Measuring eTrust in distributed systems - General Concept and Application to Internet Voting

Melanie Volkamer, Guido Schryen
In: 23rd Bled eConference, Bled, Slovenia, June 20-23, 2010.

Efficient Mutual Authentication for Multi-domain RFID Systems Using Distributed Signatures

Michael Braun, Ulrike Meyer, Susanne Wetzel
In: 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010, 2010.

Encoding the Java Virtual Machine's Instruction Set

Michael Eichberg, Andreas Sewe
In: Proceedings of the 5th Workshop on Bytecode Semantics, Verification, Analysis and Transformation, vol. Electronic Notes in Theoretical Computer Science, Elsevier B.V., p. 35-50, 2010. ISSN 1571-0661.

Distributed Automatic Configuration of Complex IPsec-Infrastructures

Michael Rossberg, Guenter Schaefer, Thorsten Strufe
In: IEEE Journal of Network and Systems Management, p. 300 -- 326, 2010.

Extended Lattice Reduction Experiments using the BKZ Algorithm

Michael Schneider, Johannes Buchmann
In: Sicherheit, vol. LNI, GI, p. 241-252, 2010.

MXL3: An efficient algorithm for computing Gröbner bases of zero-dimensional ideals

Mohamed Saied Emam Mohamed, Daniel Cabarcas, Jintai Ding, Johannes Buchmann, Stanislav Bulygin
In: Proceeding of the 12th International Conference on Information Security and Cryptography - ICISC 2009, Springer, p. 87-100, 2010. ISBN 978-3-642-14422-6.

BEST PAPER: Unobtrusive User-Authentication on Mobile Phones using Biometric Gait Recognition

Mohammad O. Derawi, Claudia Nickel, Patrick Bours, Christoph Busch
In: Sixth International Conference on Intelligent Information Hiding and Multimedia Signal Processing, 2010.

Reordering for Better Compressibility: Efficient Spatial Sampling in Wireless Sensor Networks

Mohammadreza Mahmudimanesh, Abdelmajid Khelil and Neeraj Suri
In: The Third IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC), 2010.

ASample: Adaptive Spatial Sampling in Wireless Sensor Networks

Piotr Szczytowski, Abdelmajid Khelil and Neeraj Suri
In: The Third IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC), 2010.

Mobility Assisted Adaptive Sampling in Wireless Sensor Networks

Piotr Szczytowski, Faisal Karim Shaikh, Vinay Sachidananda, Abdelmajid Khelil and Neeraj Suri
In: Proc. International Conference on Networked Sensing Systems (INSS), 2010.

Constraints on Autonomous Use of Standard GPU Components for Asynchronous Observations and Intrusion Detection

Reinhard Riedmüller, Mark M. Seeger, Stephen D. Wolthusen, Harald Baier, Christoph Busch
In: 2nd International Workshop on Security and Communication Networks (IWSCN 2010), 2010.

Optimizing the Evaluation of Patterns in Pointcuts

Remko Bijker, Christoph Bockisch, Andreas Sewe
In: VMIL '10: Proceedings of the 4th Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms, 2010.

Attacking code/lattice-based cryptosystems using Partial Knowledge

Robert Niebuhr, Pierre-Louis Cayrel, Stanislav Bulygin, Johannes Buchmann
In: Proceedings of Inscrypt 2010, China Press, 2010.

Secure Ubiquitous House and Facility Control Solution

Robin Acker, Michael Massoth
In: Proceedings of the 2010 5th International Conference on Internet and Web Applications and Services (ICIW'10), 2010, 2010.

Ubiquitous Home Control based on SIP and Presence Service

Robin Acker, Steffen Brandt, Nicolas Buchmann, Thorsten Fugmann, Michael Massoth
In: Proceedings of the 12th International Conference on Information Integration and Web Based Applications & Services (iiWAS'10), 2010.

Verifiability in Electronic Voting - Explanations for Non Security Experts

Rojan Gharadaghy, Melanie Volkamer
In: Electronic Voting 2010, EVOTE 2010, 4th International Conference, Co-organized by Council of Europe, Gesellschaft für Informatik and E-Voting.CC, July 21st - 24th, 2010, in Castle Hofen, Bregenz, Austria, vol. LNI, p. 151-162, 2010. ISBN 978-3-88579-261-1.

A Formal IT-Security Model for the Correction and Abort Requirement of Electronic Voting

Rüdiger Grimm, Katharina Hupf, Melanie Volkamer
In: Electronic Voting 2010, EVOTE 2010, 4th International Conference, Co-organized by Council of Europe, Gesellschaft für Informatik and E-Voting.CC, July 21st - 24th, 2010, in Castle Hofen, Bregenz, Austria, vol. LNI, p. 89-107, 2010. ISBN 978-3-88579-261-1.