Etalle, Sandro.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Logic Based Program Synthesis and Transformation14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /
by:
(1998 :); Etalle, Sandro.; SpringerLink (Online service)
(Electronic resources)
Formal aspects of security and trust7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers /
by:
(1998 :); Degano, Pierpaolo.; Etalle, Sandro.; Guttman, Joshua.; SpringerLink (Online service)
(Electronic resources)
Logic Programming (vol. # 4079)22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
by:
(1998 :); Etalle, Sandro.; SpringerLink (Online service); Truszczynski, Miroslav.
(Electronic resources)
Formal aspects of security and trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers /
by:
(1998 :); Barthe, Gilles.; Datta, Anupam.; Etalle, Sandro.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Data protection
Logic programming
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Management of Computing and Information Systems.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Information Storage and Retrieval.
Data encryption (Computer science)
Computer security
Data Encryption.
Computer Science.
Public key infrastructure (Computer security)
Computer Communication Networks.
Systems and Data Security.
Computers and Society.