Persönlicher Status und Werkzeuge

MSc. ETH CS, Matthias Büchler 

Raum: MI - 01.11.059
Boltzmannstrasse 3
85748 Garching b. München

Tel: +49 (89) 289 17836
buechler(at)cs.tum.edu


Google Scholar Profile
ResearchGate.net Profile
DBLP Profile

I am a Ph.D student at the Faculty of Computer Science at the Technical University Munich (TU Munich). My supervisor is Prof. Dr. Alexander Pretschner and my research interests include Information Security, Security Modeling, Security Engineering, Security Testing, Domain Specific Languages, and Usage Control.  In March 2013, I won the Google Best PhD Student Paper Award at ICST 2013 (PhD Symposium).

Before joining TU Munich, I was a scientific researcher in the Certifiable Trustworthy IT Systems at the Karlsruhe Institute of Technology, and a scientific researcher in the Native Systems Group at the Swiss Federal Institute of Technology Zurich (ETH Zurich). I received both my BSc. and MSc. degree (Information Security) in Computer Science from ETH Zurich.

 

Teaching Assistance

SS 2015 (TU Munich): Tutorübungen zu Einführung in die Softwaretechnik
SS 2014 (TU Munich): Tutorübungen zu Einführung in die Softwaretechnik
WS 2013/2014 (TU Munich): Security Engineering Lab
WS 2013/2014 (TU Munich): Security in IT Systems: Machine Learning for Security
WS 2012/2013 (TU Munich): Security Engineering Lab
WS 2011/2012 (KIT): Seminar Secure IT Systems
SS 2011 (KIT): Security Engineering Lab
SS 2010 (ETH Zurich): Parallel Programming, Recitation sessions

Publications

2015

Michael Felderer, Philipp Zech, Ruth Breu, Matthias Büchler, and Alexander Pretschner.
Model-based security testing: A taxonomy and systematic classification
Software Testing, Verification and Reliability, 2015.

 

2013

Matthias Büchler, Karim Hossen, Petru Florin Mihancea, Marius Minea, Roland Groz, and Catherine Oriat
Model Inference and Security Testing in the SPaCIoS Project
Software Maintenance, Reengineering and Reverse Engineering (CSMR-WCRE), 2014 Software Evolution Week - IEEE Conference on, pp.411,414, 3-6 Feb. 2014

The SPaCIoS project consortium:
A tool for the secure provision and consumption in the internet of services
OWASP AppSec Research, August 2013

Johan Oudinet, Alberto Calvi, and Matthias Büchler.
Evaluation of ASLan Mutation Operators
In Margus Veanes, and Luca Viganò (Eds.), TAP, (7942):178-196, Springer, 2013.

Büchler, M.:
Security Testing with Fault-Models and Properties
Software Testing, Verification and Validation (ICST) Ph.D Symposium, 2013 IEEE Sixth International Conference on, pp.501,502, 18-22 March 2013
Google Best PhD Student Paper Award

 

2012

Büchler, M., Oudinet, J., Pretschner, A.:
Semi-Automatic Security Testing of Web Applications from a Secure Model
Software Security and Reliability (SERE), 2012 IEEE Sixth International Conference on, pp.253,262, 20-22 June 2012

Büchler, M., Oudinet, J., Pretschner, A.:
Semi-automatic security testing of web applications from a secure model
KIT, Tech. Rep. 1000025844

Büchler, M., Oudinet, J., Pretschner, A.:
SPaCiTE--Web Application Testing Engine
Proc. 3rd Intl. Workshop on Security Testing, Montreal, April 2012
Demo available

2011

Büchler, M., Oudinet, J., Pretschner, A.:
Security Mutants for Property-Based Testing
Proc. 5th Intl. Conf. on Test and Proofs (TAP), Zurich, June 2011

A Pretschner, E Lovat, M Büchler
Representation-Independent Data Usage Control
Proc. 6th Intl. Workshop on Data Privacy Management, pp. 122-140, September 2011. Demos available.

An extended version is available as technical report, Karlsruhe Reports in Informatics 2011,23.

2010

Method and apparatus for performing a file operation
M Buechler, T Walter, A Pretschner, M Harvan, C Schaefer
EP Patent 2,194,456

2009

Usage control enforcement with data flow tracking for x11
A Pretschner, M Buechler, M Harvan, C Schaefer, T Walter
Proc. 5th Intl. Workshop on Security and Trust Management, 124-137

 

Workshop Chair

Co-Chair - The Fifth International Workshop on Security Testing (SECTEST 2014)


 

PC Member

 

The 6th International Workshop on Security, Privacy and Performance in Cloud Computing (SPCLOUD 2016)

The Second International Conference on Advances and Trends in Software Engineering (SOFTENG 2016)

First domAin specific Model-based AppRoach to vErificaTion and validation workshop (AMARETTO 2016)

5th International Workshop on Security, Privacy and Performance in Cloud Computing (SPCLOUD 2015)

10th International Workshop on Security and High Performance Computing Systems (SHPCS 2015)

The 6th international Workshop on Security Testing (SECTEST 2015)

Testing: Academic & Industrial Conference - Practice and Research Techniques (TAIC PART 2015)

Testing: Academic & Industrial Conference - Practice and Research Techniques (TAIC PART 2014)

The 9th Workshop on Advances in Model Based Testing (A-MOST 2013)

The 8th Workshop on Advances in Model Based Testing (A-MOST 2012)

 

Bachelor and Master Thesis Topics

Topics

   
Defect-based Safety Testing in Avionics Master Thesis open
Model Based Development of a Safety AUTOSAR Basic Software Component - NVRAM Manager Bachelor Thesis Finished

Talks

Beihang University, Beijing, China, 2015

University of Southern California, Los Angeles, 2013

Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Pisa, Italy, 2012

TrendKongress 2011, Karlsruhe