167 Infos zu Lassaad Cheikhrouhou

1 Aktuelle Nachrichten

11 Profile in Sozialen Netzwerken

Sehen Sie sich das berufliche Profil von Lassaad Cheikhrouhou (Deutschland) auf LinkedIn an. LinkedIn ist das weltweit größte professionelle Netzwerk, das ...

Lassaad Cheikhrouhous berufliches Profil anzeigen LinkedIn ist das weltweit ... das Fach- und Führungskräften wie Lassaad Cheikhrouhou dabei hilft, interne ...

上领英，在全球领先职业社交平台查看Lassaad Cheikhrouhou的职业档案。Lassaad的职业档案列出了2 个职位。查看Lassaad的完整档案，结识职场人脉和查看相似 ...

KIARA for JavaScript. Contribute to dmrub/kiara.js development by creating an account on GitHub.

1 Business-Profile

Researcher / Saarbrücken / computer security

4 Firmen-Mitarbeiter

SFB 378: Lassaad Cheikhrouhou, publications

SFB 378: Lassaad Cheikhrouhou

SFB 378: Dipl.-Inform. Lassaad Cheikhrouhou Dipl.-Inform. Lassaad Cheikhrouhou. Projekte: OMEGA. Telefon: + Telefax: +

SFB 378: Dipl.-Inform. Lassaad Cheikhrouhou, Veröffentlichungen

2 Infos zur Ausbildung

von PP da Silva · Zitiert von: 231 — [1] Lassaad Cheikhrouhou and Volker Sorge. PDS – A Three-Dimensional Data. Structure for Proof Plans. In Proceedings of the International Conference.

Automating Interactive Protocol Verification / Lassaad Cheikhrouhou ; Andreas Nonnengart ; Werner Stephan ; Frank Koob ; Georg Rock.

23 Bücher zum Namen

methods in proof planning Springer Science+Business Media

Georg Rock, Gunter Lassmann, Mathias Schwan, Lassaad Cheikhrouhou. 9. ITA security IT initiatives. Michal Gartenkraut Security in dialogue

Planning Diagonalization Proofs Lassaad Cheikhrouhou and Jörg Siekmann Fachbereich Informatik , Universität des Saarlandes D Saarbrücken , Germany ...

This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA'98,...

26 Dokumente

von C Dunchev · · Zitiert von: 20 — [22] Jörg Siekmann, Stephan Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Ho- racek, Michael Kohlhase, Karsten Konrad, ...

Most widely held works by Lassaad Cheikhrouhou. Verisoft: Schlussbericht des DFKI : Projekt: Beweisen als Ingenieurwissenschaft ; Laufzeit 1. Juli

Lassaad Cheikhrouhou. Fachbereich Informatik. Universitiat des Saarlandes. D Saarbriucken, Germany -sb.de. 1 Introduction.

Intelligent Support for Systems Verification Werner Stephan, Lassaad Cheikhrouhou, Bruno Langenstein German Research Centre for Artificial Intelligence April › document

24 Wissenschaftliche Publikationen

— Jörg H. Siekmann, Stephan M. Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin. Fiedler, Helmut Horacek, Michael Kohlhase, ...

List of computer science publications by Erica Melis

Bibliographic content of CADE 1997

List of computer science publications by Marc Fischlin

8 Allgemeine Veröffentlichungen

von M Maarek · · Zitiert von: 13 — Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin. Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase,. Karsten Konrad, Andreas Meier, ...

— Kaiserslautern, ) Lassaad Cheikhrouhou: Konzeption und Implementierung einer Komponente zur. erklärungsbasierten Herleitung von ...

The reasoning power of human-oriented plan-based reasoning systems is primarily derived from their domain-specific problem solving knowledge. Such knowledg

The easiest way to keep your publications page up to date

63 Webfunde aus dem Netz

Publications by 'Lassaad Cheikhrouhou' ; Merging the Cryptographic Security Analysis and the Algebraic-Logic Security Proof of PACE · sicherheit ·

› ...

Fallauswahlwissen in CAPlan/CbC. Lassaad Cheikhrouhou, J?urgen Paulokat. Universit?at Kaiserslautern, FB Informatik. Postfach 3049, D Kaiserslautern.

Jörg H. Siekmann, Stephan Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad,

Showing the absence of security hazards in cryptographic protocols is of major interest in the area of protocol security analysis. Standard model

@inproceedings{KI08, author = {Lassaad Cheikhrouhou and Andreas Nonnengart and Werner Stephan and Frank Koob and Georg Rock}, title = {Automating Interactive Protocol Verification}, booktitle = {KI 2008: Advances in Artificial Intelligence, 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September ,

Lassaad Cheikhrouhou, Werner Stephan, Özgür Dagdelen, Marc Fischlin and Markus Ullmann. Abstract. In this paper we report on recent results about the merge of the cryptographic security proof for the Password Authenticated Connection Establishment (PACE), used within the German identity cards, with the algebraic-logic symbolic proof for the ...

[10] Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef • The lack of a long-term employed software engineer Fehrer, Armin Fiedler, Xiaorong Huang, ...

Lassaad Cheikhrouhou, DFKI GmbH, Germany Changbo Chen, Chongqing Institute of Green and Intelligent Technology, Chinese Academy of Sciences, China Liyun Dai, Peking University, China Ryoya Fukasaku, Tokyo University of Science, Japan Ting Gan, Peking University, China Willem Hagemann, Max Planck Institute for Informatics, Germany ...

Georg Rock, Gunter Lassmann, Mathias Schwan, Lassaad Cheikhrouhou. Verisoft-Secure Biometric Identification System.Springer Verlag Berlin ...

... Scholar extracted view of "A New Approach to the Inductive Verification of Cryptographic Protocols Based on Message Algebras" by Lassaad Cheikhrouhou et al. Lassaad Cheikhrouhou; Published 1999; Computer Science. We present an empirical study of mathematical proofs by diagonalization, the aim istheir ...

Lassaad Cheikhrouhou: Planning Diagonalization Proofs CiteSeerX · Google scholar · pubzone.org · BibTeX · bibliographical record in XML ...

by Xiaorong Huang , Manfred Kerber , Lassaad Cheikhrouhou ... author = {Xiaorong Huang and Manfred Kerber and Lassaad Cheikhrouhou}, title = {Adaptation ...

von M Kohlhase — [SBC+00] Jörg Siekmann, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, An- dreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, ...

Fallauswahlwissen in CAPlan/CbC. Lassaad Cheikhrouhou, J?urgen Paulokat. Universit?at Kaiserslautern, FB Informatik. Postfach 3049, D

... @Article{Siekmann:1999:LUI, author = "J{\"o}rg Siekmann and Stephan Hess and Christoph Benzm{\"u}ller and Lassaad Cheikhrouhou and Armin Fiedler and ...

@InProceedings{ChSo98, author = {Lassaad Cheikhrouhou and Volker Sorge}, title = {Planning Equivalence Proofs}, booktitle = {Workshop on Using AI Methods in ... › ~vxs

View this Paper; Jörg H. Siekmann, Stephan M. Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler,Helmut Horacek, Michael Kohlhase, ...

[CS98] Lassaad Cheikhrouhou and Jörg Siekmann. Planning diagonalization proofs. In Proceedings. of 8th International Conference on Artificial Intelligence: ...

... Christoph Benzmuller und Arthur Sehn und speziell fur Korrekturlesen der Einleitung bei Christoph Benzmuller, Lassaad Cheikhrouhou und Karsten Konrad. › Einbindung-eines-c...