Dr.-Ing. Thomas Schneider

  • Former Research Assistant - Research Group System Security
Schneider, Thomas

Address

Ruhr-University Bochum
Universitätsstraße 150
D - 44780 Bochum
Germany

Location:
Dept. of Electr. Eng. and Information Sciences
Chair for System Security
Universitätsstr. 150
None

email:
thomas.schneider@trust.rub.de PGP key
Website:
http://thomaschneider.de/

Vita

  • 2002: Abitur at Leibniz-Gymnasium Altdorf, Germany.
  • 2003-2008: Studies at University of Erlangen-Nuremberg, Germany. Diploma ("Master") in computer science.
  • 2007: Research internship at Bell Labs, Security Solutions/Cryptographic Systems in Murray-Hill, NJ, USA. "Practical Secure Function Evaluation" supervised by Vladimir Kolesnikov.
  • April 2008 - February 2011: Research assistant and PhD student at the Horst Görtz Institute for IT Security (HGI), Ruhr-University Bochum. PhD on "Engineering Secure Two-Party Computation Protocols - Advances in Design, Optimization, and Applications of Efficient Secure Function Evaluation" advised by Prof. Dr.-Ing. Ahmad-Reza Sadeghi and Prof. Dr. Benny Pinkas.
  • since March 2011 I am affiliated with the Center for Advanced Security Research Darmstadt (CASED), Technical University Darmstadt as postdoctoral researcher. There you find my new Website with most recent information.

See full CV for details.

Research

  • Compilers for Cryptographic Protocols
  • Secure Two-Party Computation Protocols
    • Efficient Secure Two-Party Computation Protocols (see TASTY)
    • Secure Evaluation of (Semi-)Private Functions, Universal Circuits (see FairplayPF, FairplaySPF)
    • Function Representations (Circuits, Neural Networks, Branching Programs, ...)
  • Hardware-Assisted Cryptographic Protocols
  • Privacy-Preserving Protocols

The following word cloud is generated from the key words in the titles of my papers and gives an overview of my research topics.

http://thomaschneider.de/research_wordle.jpg

See List of Publications for details (abstracts, bibtex, PDF, ...).

Publications

2011
Reden ist Silber - Schweigen ist Gold: Datensparsamkeit durch effizientes Rechnen unter Verschlüsselung

Thomas Schneider - In 12. Deutscher IT-Sicherheitskongress des BSI: Sicher in die digitale Welt von morgen. 10.-12. Mai, 2011.

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

Sven Bugiel, Stefan Nürnberger, Ahmad-Reza Sadeghi, Thomas Schneider - Workshop on Cryptography and Security in Clouds (CSC'11)

Secure Set Intersection with Untrusted Hardware Tokens

Marc Fischlin, Benny Pinkas, Ahmad-Reza Sadeghi, Thomas Schneider, Ivan Visconti - 11th Cryptographers' Track at the RSA Conference (CT-RSA'11)

Privacy-Preserving ECG Classification with Branching Programs and Neural Networks

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

2010
TASTY: Tool for Automating Secure Two-partY computations

Wilko Henecka, Ahmad-Reza Sadeghi, Thomas Schneider, Immo Wehrenberg - 17th ACM Conference on Computer and Communications Security (CCS'10). ACM, October 4-8, Chicago, USA.

A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols

José Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider - 15th European Symposium on Research in Computer Security (ESORICS'10), September 20-22, Athens, Greece.

Verschlüsselt Rechnen: Sichere Verarbeitung verschlüsselter medizinischer Daten am Beispiel der Klassifikation von EKG-Daten

Ahmad-Reza Sadeghi, Thomas Schneider - Workshop Innovative und sichere Informationstechnologie für das Gesundheitswesen von morgen (PerspeGKtive'10), September 8, Mannheim, Germany.

Efficient Secure Two-Party Computation with Untrusted Hardware Tokens

Kimmo Järvinen, Vladimir Kolesnikov, Ahmad-Reza Sadeghi, Thomas Schneider - In Towards Hardware-Intrinsic Security: Foundations and Practice, Information Security and Cryptography, Springer-Verlag, September 2010.

Garbled Circuits for Leakage-Resilience: Hardware Implementation and Evaluation of One-Time Programs

Kimmo Jär­vi­nen, Vla­di­mir Ko­les­ni­kov, Ahmad-Reza Sadeghi, Thomas Schneider - 12th International Workshop on Cryptographic Hardware and Embedded Systems (CHES'10), August 17-20, Santa Barbara, USA.

YAZKC: Yet Another Zero-Knowledge Compiler

Endre Bangerter, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider - 19th USENIX Security Symposium (USENIX'10) Poster Session, August 11-13, Washington DC, USA.

Token-Based Cloud Computing -- Secure Outsourcing of Data and Arbitrary Computations with Lower Latency

Ahmad-Reza Sadeghi, Thomas Schneider, Marcel Winandy - 3rd International Conference on Trust and Trustworthy Computing (TRUST'10) - Workshop on Trust in the Cloud, June 22, Berlin, Germany.

From Dust to Dawn: Practically Efficient Two-Party Secure Function Evaluation Protocols and their Modular Design

Vladimir Kolesnikov, Ahmad-Reza Sadeghi, Thomas Schneider - Cryptology ePrint Archive: Report 2010/079

Em­bed­ded SFE: Off­loa­ding Ser­ver and Net­work using Hard­ware To­kens

Kimmo Jär­vi­nen, Vla­di­mir Ko­les­ni­kov, Ahmad-Reza Sadeghi, Thomas Schneider - 14th In­ter­na­tio­nal Con­fe­rence on Fi­nan­ci­al Cryp­to­gra­phy and Data Se­cu­ri­ty (FC'10), Ja­nu­a­ry 25-28, Te­ne­ri­fe, Cana­ry Is­lands, Spain.

2009
Improved Garbled Circuit Building Blocks and Applications to Auctions and Computing Minima.

Vladimir Kolesnikov, Ahmad-Reza Sadeghi, Thomas Schneider - 8th International Conference on Cryptology And Network Security (CANS’09), December 12-14, Kanazawa, Ishikawa, Japan.

Efficient Privacy-Preserving Classification of ECG Signals

Mauro Barni, Pierluigi Failla, Vlad Kolesnikov, Riccardo Lazzeretti, Annika Paus, Ahmad-Reza Sadeghi, Thomas Schneider - 1st IEEE International Workshop on Information Forensics and Security (WIFS'09), December 6-9, London, UK.

Secure Two-Party Computation is Practical

Benny Pinkas, Thomas Schneider, Nigel P. Smart, Stephen C. Williams: - 15th International Conference on the Theory and Application of Cryptology and Information Security - ASIACRYPT'09, December 6-10, Tokyo, Japan.

Efficient Privacy-Preserving Face Recognition.

Ahmad-Reza Sadeghi, Thomas Schneider, Immo Wehrenberg, - 12th International Conference on Information Security and Cryptology (ICISC'09), December 2-4, Seoul, Korea.

Improved Garbled Circuit Building Blocks and Applications to Auctions and Computing Minima

Vladimi­r Kolesnikov, Ahmad-Reza Sadeghi, Thomas Schneider - ECRYPT workshop on Software Performance Enhancements for Encryption and Decryption and Cryptographic Compilers (SPEED-CC'09), October 12-13, Berlin, Germany.

On the Design and Implementation of Efficient Zero-Knowledge Proofs of Knowledge

Endre Bangerter, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider, Joe-Kai Tsay - ECRYPT workshop on Software Performance Enhancements for Encryption and Decryption and Cryptographic Compilers (SPEED-CC'09), October 12-13, Berlin, Germany.

Secure Evaluation of Private Linear Branching Programs with Medical Applications

Mauro Barni, Pierluigi Failla, Vladimir Kolesnikov, Riccardo Lazzeretti, Ahmad-Reza Sadeghi, Thomas Schneider - 14th European Symposium on Research in Computer Security (ESORICS'09), September 21-25, Saint Malo, France.

Automatic Generation of Sigma-Protocols

Endre Bangerter, Thomas Briner, Wilko Henecka, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider - 6th European Workshop on Public Key Services, Applications and Infrastructures (EUROPKI'09), September 10-11, Pisa, Italy.

Combining Signal Processing and Cryptographic Protocol Design for Efficient ECG Classification

, Mauro Barni, Pierluigi Failla, Vladimir Kolesnikov, Riccardo Lazzeretti, Ahmad-Reza Sadeghi, Thomas Schneider - 1st International Workshop on Signal Processing in the EncryptEd Domain (SPEED'09), September 10, Lausanne, Switzerland.

How to Combine Homomorphic Encryption and Garbled Circuits - improved Circuits and Computing the Minimum Distance Efficiently.

Vladimir Kolesnikov, Ahmad-Reza Sadeghi, Thomas Schneider - 1st International Workshop on Signal Processing in the EncryptEd Domain (SPEED'09), September 10, Lausanne, Switzerland.

Practical Secure Evaluation of Semi-Private Functions

Annika Paus, Ahmad-Reza Sadeghi, Thomas Schneider - 7th International Conference on Applied Cryptography and Network Security (ACNS'09), June 2-5, Paris, France.

Automatic Generation of Sound Zero-Knowledge Protocols

Endre Bangerter, Jan Camenisch, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider - 28th Advances in Cryptology - EUROCRYPT 2009 (Poster Session), April 26-30, Cologne, Germany.

Bringing Zero-Knowledge Proofs of Knowledge to Practice

Endre Bangerter, Stefania Barzan, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider, Joe-Kai Tsay - 17th International Workshop on Security Protocols (SPW'09), April 1-3, Cambridge, England.

2008
Generalized Universal Circuits for Secure Evaluation of Private Functions with Application to Data Classification.

Ahmad-Reza Sadeghi, Thomas Schneider, - 11th International Conference on Information Security and Cryptology (ICISC'08), December 3-5, Seoul, South Korea.

Improved Garbled Circuit: Free XOR Gates and Applications

Vladimir Kolesnikov, Thomas Schneider - 35th International Colloquium on Automata, Languages and Programming (ICALP'08), July 6-13, Reykjavik, Iceland.

Practical Secure Function Evaluation

Thomas Schneider, - Fachwissenschaftlicher Informatik-Kongress - Informatiktage'08, March 14, Bonn, Germany.

A Practical Universal Circuit Construction and Secure Evaluation of Private Functions

Vladimir Kolesnikov, Thomas Schneider - 12th International Conference on Financial Cryptography and Data Security (FC'08), January 28-31, Cozumel, Mexico.