Dieter Hutter |
|
Prof. Dr. Dieter Hutter
Cartesium Enrique Schmidt Str. 5 Tel. +49 421 218 64 277 Fax. +49 421 218 9864 277 Germany |
|
Research areas
- Deduction:
- Annotated Reasoning
- Proof Planning,
Tactical Theorem Proving
- Security, Formal methods
- Repair, Replay and
Reuse of Proofs
- Management of Change of
a Formal Development
- Cryptographic Protocols
- Security Policies,
Information Flow Control
- Security of Agents
Some actual
projects
- SoKNOS (BMBF)
Service-oriented architectures to support networks for public security
- OMoC (DFG) Ontology-driven management of
change
- FormalSafe (BMBF) Formal developments for safe
robotics
- VeriSoft (BMBF)
Verification of large industrial software
- SCALLOPS (BMBF) Security
in Pervasive Computing
Some teaching
activities
- Informationssicherheit 2 (SS10) (Uni
- Informationssicherheit 2 (SS09) (Uni
- Informationssicherheit 2 (WS07/08) (Uni
- Sicherheit (Stammvorlesung)
(SS07) (Uni des Saarlandes)
- Proseminar E-Voting
(SS05) (Uni des Saarlandes)
- Sicherheit (Stammvorlesung)
(SS06) (Uni des Saarlandes)
- Sicherheit (Stammvorlesung)
(SS05) (Uni des Saarlandes)
- Sicherheit (Stammvorlesung)
(SS04) (Uni des Saarlandes)
- Sicherheit (Stammvorlesung)
(SS03) (Uni des Saarlandes)
- Sicherheit (Stammvorlesung)
(SS02) (Uni des Saarlandes)
- Sichere Agenten (WS01/02) (Uni des Saarlandes)
- Ausgewählte Themen der Computersicherheit
(WS00/01) (Uni des Saarlandes)
- Zuverlässigkeit im elektronischen
Zahlungsverkehr (SS00) (Uni
des Saarlandes)
- Sichere Software: Formale Methoden in der
Programmentwicklung (WS98/99)
(Uni des Saarlandes)
- Deduction Systems
(SS98), Masters Programme in Computational Logic
(Uni Dresden)
- Software-Engineering (Stammvorlesung)
(SS96) (Uni des Saarlandes)
Tools
- Verification Support
Environment (VSE)
- INKA: Inductive Theorem Prover
- MAYA: Management of
Change based on Development Graphs
Actual
conferences and workshops (I am involved)
2008
- Sicherheit 2008. 4.
Jahrestagung Fachbereich Sicherheit der Gesellschaft für Informatik ,
Saarbrücken, Germany 2008, (PC-member)
- Workshop on
Security and High Performance Computing Systems,
2007
- Jahrestreffen
der GI - Fachgruppe FomSESS,
Saarbrücken, Germany, 2007 (Co-organizer)
- IEEE Workshop on
Security in Pervasive
- 6th Mexican International Conference on
Artificial Intelligence, 2007,
- 15th International
Conference on Computing CIC-2007,
- ACM Workshop on
Information and Communications Security Standards and Regulations,
- International Conference on
Computational Intelligence and Security (CIS'07),
- 3rd International Workshop on Security,
Privacy and Trust in Pervasive and Ubiquitous Computing,
- 4th International Verification Workshop
(VERIFY'07),
2006
- TAMIS: Threat Scenarios
and Models in Highly Dynamic Systems , UbiComp
2006 (PC member)
- International Conference
on Information Security and Computer Forensics
- 5th Mexican International Conference on
Artificial Intelligence, 2006 Mexico City, Mexico, (PC member)
- 15th CLAM-INKA-OMRS Workshop,
April 2006 in Braunshausen (Organisation)
- 3rd International Joint Conference on
Automated Reasoning, 2006
- 3rd
International Verification Workshop (VERIFY'06),
- 6th STRATEGIES workshop,
- SASEMAS 2006: 3rd International
Workshop on Safety and Security in Multi-Agent Systems,
- SecPerU2006 International Workshop
on Security, Privacy and Trust in Pervasive and Ubiquitous Computing ,
- International
Conference on Security in Pervasive Computing, SPC-2006,
- International Conference on Emerging Trends
in Information and Communication Security, 2006
- ISC 06 9th Information Security
Conference ,
- IEEE Workshop on Security
in Pervasive Computing,
2005
- Workshop on Software Certificate
Management, ASE 2005 , Long Beach
- 4th Mexican International Conference on
Artificial Intelligence, 2005
- IEEE International
Conference on Pervasive Services - Workshop on Security, Privacy and Trust
in Pervasive and
- Sicherheit 2005. 2. Jahrestagung Fachbereich Sicherheit der
Gesellschaft für Informatik , Regensburg, Germany (PC member)
- Second International Conference on Security
in Pervasive Computing, SPC-2005 , Boppard
- Second IEEE International
Workshop on Pervasive Computing and Communication Security, 2005 ,
Kauai island,
Selected
publication
(more publications can be found here )
Alan Bundy, - Dieter Hutter and Markus Ullmann (Eds): Proceedings of the 2nd International Conference
on Security in Pervasive Computing, Springer LNCS 3450, 2005
- Dieter Hutter and Werner Stephan (Eds):
Mechanizing Mathematical Reasoning. Festschrift in Honor of J.S.Siekmann, Springer LNCS 2605, 2005
- Dieter Hutter and Axel Schairer: Possibilistic information flow control in the presence
of encrypted communication. In P.Ryan and P.Samarati, editors, 9th European Symposium on
Research in Computer Security, ESORICS 2004. Springer, LNCS, 2004.
- T. Mossakowski,
P.Hoffman, S.Autexier,
and D.Hutter. CASLl
logic. In B. Krieg-Brückner and P.Mosses, editors, The CASL Reference Manual. Springer-Verlag, LNCS 2960, 2004.
- Melanie Volkamer and Dieter Hutter:
From legal standards to an e-voting system. In A.~Prosser,
editor, Proceedings of Electronic Voting in Europe: Technology, Law and
Politics,
- Dieter Hutter,
Günter Müller, Werner Stephan, and Markus~Ullmann
(Eds.). Proceedings
of the First International Conference on Pervasive Computing.
Springer-Verlag, LNCS 2802,
- Dieter Hutter. Annotated reasoning.
Annals of Mathematics and Artificial
Intelligence (AMAI). Special issue on Strategies in Automated Deduction,
2000.
- Dieter
Hutter and Michael Kohlhase. Managing structural
information by higher-order colored unification. Journal of Automated Reasoning,
25(2):123-164, 2000.
- Dieter Hutter. Management of change
in structured verification. In Proceedings
Automated Software Engineering, ASE-2000. IEEE, 2000.
- Serge
Autexier, Dieter Hutter,
Heiko Mantel, and Axel Schairer. Towards an evolutionary
formal software-development using CASL. In C. Choppy and
D. Bert, editors, Proceedings
Workshop on Algebraic Development Techniques, WADT-99.
Springer, LNCS 1827, 2000.
- Serge
Autexier, Dieter Hutter,
Heiko Mantel, and Axel Schairer. Inka
5.0 - a logical voyager. In H. Ganzinger,
editor, Proceedings 16th
International Conference on Automated Deduction, CADE-16.
Springer Verlag, LNAI 1632, 1999.
- Serge
Autexier, Dieter Hutter,
Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer,
Werner Stephan, Roland Vogt, and Andreas Wolpers.
VSE: Formal methods meet
industrial needs.
- Dieter Hutter. Colouring
terms to control equational reasoning. Journal of Automated Reasoning,
18:399-442, 1997. Kluwer-Publishers.
|
Letze Änderung: 15.11.2009 |
