News

New PhD Student: Steffen Lortz

We welcome Steffen Lortz as a new PhD student in the MAIS group.

12.04.12

New PhD Student: Jens Sauer

We welcome Jens Sauer as a new PhD student in the MAIS group.

19.03.12

Guest Prof. Stephen Chong

Prof. Stephen Chong from Harvard University will be visiting the MAIS group on March 2-5, 2012.

20.02.12

Guest Dimiter Milushev

Dimiter Milushev from KU Leuven visited the MAIS group on February 14, 2012. He gave a talk on "Towards Incrementalization of Holistic Hyperproperties" in the MAIS graduate seminar.

20.02.12

Barbara Sprick became Professor at Hochschule Heidelberg

Following four years of successful research with the MAIS group, Dr. Barbara Sprick took over in December 2011 a Professor position at SRH-Hochschule Heidelberg. She will be giving lectures on algorithms and data structures as well as software engineering. She plans to continue research collaborations with us.

06.02.12

Guest Prof. Ulfar Erlingsson

Prof. Úlfar Erlingsson, Ph.D. from Google Research visited Prof. Dr. Heiko Mantel (MAIS) on February 1-2, 2012. He gave a lecture on "Cloud Computing and Software Security" in the CASED Distinguished Lectures Series on February 2, 4:15 pm in S2|02, C205.

04.02.12

Guest Prachi Kumari

Prachi Kumari from KIT visited the MAIS group on January 31, 2012. She gave a talk on "Deriving Implementation-level Policies for Usage Control Enforcement" in the MAIS graduate seminar.

01.02.12

Guest Dr. Felix Klaedtke

Dr. Felix Klaedtke from ETH Zurich visited the MAIS group on January 24-25, 2012. He gave a talk about "Policy Monitoring with First-order Temporal Logic" in the MAIS graduate seminar.

26.01.12

New PhD Student: Abdullah Abdul Khadir

We welcome Abdullah Abdul Khadir as a new PhD student in the MAIS group.

01.12.11

Guest Cedric Fournet

Cédric Fournet, Ph.D. from Microsoft Research visited Prof. Dr. Heiko Mantel (MAIS) on November 24-25, 2011. He gave a lecture on "Modular Code-Based Cryptographic Verification" in the CASED Distinguished Lectures Series on November 24 and a talk about "CFLOW" on November 25.

26.11.11

Older news

2011

• Open positions for PhD students and PostDocs
• New SAC Publication
• RS³ Best Paper Award
• Guest Prof. Kamal Lodaya
• New FAST Publication
• Open positions for Phd students and postdocs
• Open Position for Secretary
• Guest Dr. Andrei Popescu
• Guest Robert Grabowski
• CSF Publication
• New PostDoc: A. Baskar
• Open Positions
• RS3 - Kick-Off Meeting in Darmstadt
• Prof. Mantel in India
• New PhD Student: Matthias Perner
• Guest Prof. David Sands
• Guest Prof. Vitaly Shmatikov
• COSADE Publication

2010

• Guest Prof. Andrei Sabelfeld
• Guest Prof. Dr. Arnd Poetzsch-Heffter
• Guest Prof. Dr. Markus Müller-Olm
• Start of DFG Priority Programme RS3
• Guest Prof. David Sands
• Guest Prof. Joshua D. Guttman
• New ESORICS Publication
• New IJCAR Publication
• New TACAS Publication
• Open Positions

2009

• Verification Workshop 2010
• Guest Prof. P. Madhusudan
• RS3 - Call for Project Proposals
• New ESORICS Publication
• New DFG Priority Programme
• Journal of Automated Reasoning: Special Issue
• Excellent results for the lecture Formal Methods for Information Security

2008

• New Technical Report
• ICISS Publication
• FAST Publications
• New Name
• FoMSESS Jahrestreffen 2008

2007

• New Hiwi-Positions
• Editorial Board of the International Journal of Information Security
• Springorum Preis für Alexander Reinhard
• Open HiWi Positions
• CSF Publication
• FMSE07 Call for Papers

2006

• Co-Organizing Dagstuhl Seminar
• LOPSTR Publication
• ESOP Publication
• Co-Chairing FMSE
• Prof. Dr. Martin Hofmann in Aachen