Sandro Etalle

According to our database, Sandro Etalle authored at least 144 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Demonstration of new attacks on three healthcare network protocols in a lab environment.

Guillaume Dupont, Daniel Ricardo dos Santos, Stanislav Dashevskyi, Sangavi Vijayakumar, Sashaank P. Murali, Elisa Costante, Jerry den Hartog, Sandro Etalle

J. Comput. Virol. Hacking Tech., June, 2024

2022

You Can't Protect What You Don't Understand: Characterizing an Operational Gas SCADA Network.

Xi Qin, Martin Rosso, Alvaro A. Cárdenas, Sandro Etalle, Jerry den Hartog, Emmanuele Zambon

Proceedings of the 43rd IEEE Security and Privacy, 2022

2021

Similarity-Based Clustering For IoT Device Classification.

Guillaume Dupont, Cristoffer Leite, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle

Proceedings of the 2021 IEEE International Conference on Omni-Layer Intelligent Systems, 2021

2020

A Matter of Life and Death: Analyzing the Security of Healthcare Networks.

Guillaume Dupont, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle

Proceedings of the ICT Systems Security and Privacy Protection, 2020

2019

Network intrusion detection systems for in-vehicle network - Technical report.

Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis

CoRR, 2019

A Survey of Network Intrusion Detection Systems for Controller Area Network.

Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis

Proceedings of the IEEE International Conference of Vehicular Electronics and Safety, 2019

Evaluation Framework for Network Intrusion Detection Systems for In-Vehicle CAN.

Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis

Proceedings of the 2019 IEEE International Conference on Connected Vehicles and Expo, 2019

Challenges in Designing Exploit Mitigations for Deeply Embedded Systems.

Ali Abbasi, Jos Wetzels, Thorsten Holz, Sandro Etalle

Proceedings of the IEEE European Symposium on Security and Privacy, 2019

Role Inference + Anomaly Detection = Situational Awareness in BACnet Networks.

Davide Fauri, Michail Kapsalakis, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2019

Network Monitoring of Industrial Control Systems: The Lessons of SecurityMatters.

Sandro Etalle

Proceedings of the ACM Workshop on Cyber-Physical Systems Security & Privacy, 2019

2018

Eventpad: Rapid Malware Analysis and Reverse Engineering using Visual Analytics.

Bram C. M. Cappers, Paulus N. Meessen, Sandro Etalle, Jarke J. van Wijk

Proceedings of the 15th IEEE Symposium on Visualization for Cyber Security, 2018

Behavior analysis in the medical sector: theory and practice.

Mahdi Alizadeh, Sander Peters, Sandro Etalle, Nicola Zannone

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Leveraging Semantics for Actionable Intrusion Detection in Building Automation Systems.

Davide Fauri, Michail Kapsalakis, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle

Proceedings of the Critical Information Infrastructures Security, 2018

2017

A white-box anomaly-based framework for database leakage detection.

Elisa Costante, Jerry den Hartog, Milan Petkovic, Sandro Etalle, Mykola Pechenizkiy

J. Inf. Secur. Appl., 2017

Encryption in ICS networks: A blessing or a curse?

Davide Fauri, Bart de Wijs, Jerry den Hartog, Elisa Costante, Emmanuele Zambon, Sandro Etalle

Proceedings of the 2017 IEEE International Conference on Smart Grid Communications, 2017

Towards Realistic Threat Modeling: Attack Commodification, Irrelevant Vulnerabilities, and Unrealistic Assumptions.

Luca Allodi, Sandro Etalle

Proceedings of the 2017 Workshop on Automated Decision Making for Active Cyber Defense, 2017

\mu Shield - Configurable Code-Reuse Attacks Mitigation For Embedded Systems.

Ali Abbasi, Jos Wetzels, Wouter Bokslag, Emmanuele Zambon, Sandro Etalle

Proceedings of the Network and System Security - 11th International Conference, 2017

From Intrusion Detection to Software Design.

Sandro Etalle

Proceedings of the Computer Security - ESORICS 2017, 2017

From System Specification to Anomaly Detection (and back).

Davide Fauri, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle, Stefano Tonetta

Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, 2017

ECFI: Asynchronous Control Flow Integrity for Programmable Logic Controllers.

Ali Abbasi, Thorsten Holz, Emmanuele Zambon, Sandro Etalle

Proceedings of the 33rd Annual Computer Security Applications Conference, 2017

2016

A Hybrid Framework for Data Loss Prevention and Detection.

Elisa Costante, Davide Fauri, Sandro Etalle, Jerry den Hartog, Nicola Zannone

Proceedings of the 2016 IEEE Security and Privacy Workshops, 2016

Reading between the fields: practical, effective intrusion detection for industrial control systems.

Ömer Yüksel, Jerry den Hartog, Sandro Etalle

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Towards Useful Anomaly Detection for Back Office Networks.

Ömer Yüksel, Jerry den Hartog, Sandro Etalle

Proceedings of the Information Systems Security - 12th International Conference, 2016

Stealth Low-Level Manipulation of Programmable Logic Controllers I/O by Pin Control Exploitation.

Ali Abbasi, Majid Hashemi, Emmanuele Zambon, Sandro Etalle

Proceedings of the Critical Information Infrastructures Security, 2016

2015

Experimental Validation of a Risk Assessment Method.

Eelco Vriezekolk, Sandro Etalle, Roel J. Wieringa

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2015

Validating the Raster Risk Assessment Method in Practice.

Eelco Vriezekolk, Sandro Etalle, Roel J. Wieringa

Proceedings of the 12th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2015

2014

GEM: A distributed goal evaluation algorithm for trust management.

Daniel Trivellato, Nicola Zannone, Sandro Etalle

Theory Pract. Log. Program., 2014

Understanding Computer Security.

Sandro Etalle, Nicola Zannone

Frontiers ICT, 2014

On Emulation-Based Network Intrusion Detection Systems.

Ali Abbasi, Jos Wetzels, Wouter Bokslag, Emmanuele Zambon, Sandro Etalle

Proceedings of the Research in Attacks, Intrusions and Defenses, 2014

Hunting the Unknown - White-Box Database Leakage Detection.

Elisa Costante, Jerry den Hartog, Milan Petkovic, Sandro Etalle, Mykola Pechenizkiy

Proceedings of the Data and Applications Security and Privacy XXVIII, 2014

2013

Hybrid Static-Runtime Information Flow and Declassification Enforcement.

Bruno P. S. Rocha, Mauro Conti, Sandro Etalle, Bruno Crispo

IEEE Trans. Inf. Forensics Secur., 2013

A Semantic Security Framework for Systems of Systems.

Daniel Trivellato, Nicola Zannone, Maurice Glaundrup, Jacek Skowronek, Sandro Etalle

Int. J. Cooperative Inf. Syst., 2013

Database Anomalous Activities - Detection and Quantification.

Elisa Costante, Sokratis Vavilis, Sandro Etalle, Jerry den Hartog, Milan Petkovic, Nicola Zannone

Proceedings of the SECRYPT 2013, 2013

The POLIPO Security Framework.

Daniel Trivellato, Sandro Etalle, Erik Luit, Nicola Zannone

Proceedings of the Situation Awareness with Systems of Systems, 2013

2012

A²thOS: availability analysis and optimisation in SLAs.

Emmanuele Zambon, Sandro Etalle, Roel J. Wieringa

Int. J. Netw. Manag., 2012

Linking Unlinkability.

Mayla Brusò, Konstantinos Chatzikokolakis, Sandro Etalle, Jerry den Hartog

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

N-Gram against the Machine: On the Feasibility of the N-Gram Network Analysis for Binary Protocols.

Dina Hadziosmanovic, Lorenzo Simionato, Damiano Bolzoni, Emmanuele Zambon, Sandro Etalle

Proceedings of the Research in Attacks, Intrusions, and Defenses, 2012

Design and initial validation ofthe Rastermethod for telecom service availability risk assessment.

Eelco Vriezekolk, Roel J. Wieringa, Sandro Etalle

Proceedings of the 9th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2012

Policy Administration in Tag-Based Authorization.

Sandro Etalle, Timothy L. Hinrichs, Adam J. Lee, Daniel Trivellato, Nicola Zannone

Proceedings of the Foundations and Practice of Security - 5th International Symposium, 2012

Challenges and opportunities in securing industrial control systems.

Dina Hadziosmanovic, Damiano Bolzoni, Sandro Etalle, Pieter H. Hartel

Proceedings of the Complexity in Engineering, 2012

2011

Model-based qualitative risk assessment for availability of IT infrastructures.

Emmanuele Zambon, Sandro Etalle, Roel J. Wieringa, Pieter H. Hartel

Softw. Syst. Model., 2011

Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning".

Lujo Bauer, Sandro Etalle, Jerry den Hartog, Luca Viganò

J. Autom. Reason., 2011

A Security Framework for Systems of Systems.

Daniel Trivellato, Nicola Zannone, Sandro Etalle

Proceedings of the POLICY 2011, 2011

A Cuckoo's Egg in the Malware Nest: On-the-fly Signature-less Malware Analysis, Detection, and Containment for Large Networks.

Damiano Bolzoni, Christiaan Schade, Sandro Etalle

Proceedings of the Past, 2011

A new method to assess telecom service availability risks.

Eelco Vriezekolk, Roel J. Wieringa, Sandro Etalle

Proceedings of the 8th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2011

MELISSA: Towards Automated Detection of Undesirable User Actions in Critical Infrastructures.

Dina Hadziosmanovic, Damiano Bolzoni, Pieter H. Hartel, Sandro Etalle

Proceedings of the Seventh European Conference on Computer Network Defense, 2011

Poster: protecting information in systems of systems.

Daniel Trivellato, Nicola Zannone, Sandro Etalle

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

Risk and Business Goal Based Security Requirement and Countermeasure Prioritization.

Andrea Herrmann, Ayse Morali, Sandro Etalle, Roel J. Wieringa

Proceedings of the Workshops on Business Informatics Research, 2011

2010

A Flexible Architecture for Privacy-Aware Trust Management.

Klemens Böhm, Sandro Etalle, Jerry den Hartog, Christian Hütter, Slim Trabelsi, Daniel Trivellato, Nicola Zannone

J. Theor. Appl. Electron. Commer. Res., 2010

Towards Static Flow-Based Declassification for Legacy and Untrusted Programs.

Bruno P. S. Rocha, Sruthi Bandhakavi, Jerry den Hartog, William H. Winsborough, Sandro Etalle

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

Towards Data Protection Compliance.

Nicola Zannone, Milan Petkovic, Sandro Etalle

Proceedings of the SECRYPT 2010, 2010

10141 Summary - Distributed Usage Control.

Sandro Etalle, Alexander Pretschner, Ravi S. Sandhu, Marianne Winslett

Proceedings of the Distributed Usage Control, 06.04. - 09.04.2010, 2010

10141 Abstracts Collection - Distributed Usage Control.

Sandro Etalle, Alexander Pretschner, Ravi S. Sandhu, Marianne Winslett

Proceedings of the Distributed Usage Control, 06.04. - 09.04.2010, 2010

CRAC: Confidentiality risk assessment and IT-infrastructure comparison.

Ayse Morali, Emmanuele Zambon, Sandro Etalle, Roel J. Wieringa

Proceedings of the 6th International Conference on Network and Service Management, 2010

2009

Maintaining control while delegating trust: Integrity constraints in trust management.

Sandro Etalle, William H. Winsborough

ACM Trans. Inf. Syst. Secur., 2009

Panacea: Automating Attack Classification for Anomaly-Based Network Intrusion Detection Systems.

Damiano Bolzoni, Sandro Etalle, Pieter H. Hartel

Proceedings of the Recent Advances in Intrusion Detection, 12th International Symposium, 2009

POLIPO: Policies & OntoLogies for Interoperability, Portability, and autOnomy.

Daniel Trivellato, Fred Spiessens, Nicola Zannone, Sandro Etalle

Proceedings of the POLICY 2009, 2009

LP with Flexible Grouping and Aggregates Using Modes.

Marcin Czenko, Sandro Etalle

Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

Extended eTVRA vs. security checklist: Experiences in a value-web.

Ayse Morali, Emmanuele Zambon, Siv Hilde Houmb, Karin Sallhammar, Sandro Etalle

Proceedings of the 31st International Conference on Software Engineering, 2009

Reputation-Based Ontology Alignment for Autonomy and Interoperability in Distributed Access Control.

Daniel Trivellato, Fred Spiessens, Nicola Zannone, Sandro Etalle

Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

2008

RBAC administration in distributed systems.

M. A. C. Dekker, Jason Crampton, Sandro Etalle

Proceedings of the 13th ACM Symposium on Access Control Models and Technologies, 2008

Boosting Web Intrusion Detection Systems by Inferring Positive Signatures.

Damiano Bolzoni, Sandro Etalle

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008

Trust Management in P2P Systems Using Standard TuLiP.

Marcin Czenko, Jeroen Doumen, Sandro Etalle

Proceedings of the Trust Management II, 2008

Know What You Trust.

Fred Spiessens, Jerry den Hartog, Sandro Etalle

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

IT confidentiality risk assessment for an architecture-based approach.

Ayse Morali, Emmanuele Zambon, Sandro Etalle, Paul L. O. Re

Proceedings of BDIM 2008, 2008

2007

Timed analysis of security protocols.

Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader

J. Comput. Secur., 2007

Audit-based compliance control.

J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini

Int. J. Inf. Sec., 2007

The Meaning of Logs.

Sandro Etalle, Fabio Massacci, Artsiom Yautsiukhin

Proceedings of the Trust, 2007

Refinement for Administrative Policies.

M. A. C. Dekker, Sandro Etalle

Proceedings of the Secure Data Management, 4th VLDB Workshop, SDM 2007, Vienna, Austria, 2007

A posteriori compliance control.

Sandro Etalle, William H. Winsborough

Proceedings of the 12th ACM Symposium on Access Control Models and Technologies, 2007

ATLANTIDES: An Architecture for Alert Verification in Network Intrusion Detection Systems.

Damiano Bolzoni, Bruno Crispo, Sandro Etalle

Proceedings of the 21th Large Installation System Administration Conference, 2007

Core TuLiP Logic Programming for Trust Management.

Marcin Czenko, Sandro Etalle

Proceedings of the Logic Programming, 23rd International Conference, 2007

An Introduction to the Role Based Trust Management Framework RT.

Marcin Czenko, Sandro Etalle, Dongyi Li, William H. Winsborough

Proceedings of the Foundations of Security Analysis and Design IV, 2007

Extended privilege inheritance in RBAC.

M. A. C. Dekker, J. G. Cederquist, Jason Crampton, Sandro Etalle

Proceedings of the 2007 ACM Symposium on Information, Computer and Communications Security, 2007

Model-Based Mitigation of Availability Risks.

Emmanuele Zambon, Damiano Bolzoni, Sandro Etalle, Marco Salvato

Proceedings of BDIM 2007, 2007

Trust and punishment.

Sandro Etalle, Jerry den Hartog, Stephen Marsh

Proceedings of the 1st International Conference on Autonomic Computing and Communication Systems, 2007

Privacy Policies.

Marnix Dekker, Sandro Etalle, Jerry den Hartog

Proceedings of the Security, Privacy, and Trust in Modern Data Management, 2007

2006

Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems.

Giorgio Delzanno, Sandro Etalle, Maurizio Gabbrielli

Theory Pract. Log. Program., 2006

Preface.

Sandro Etalle, Pierangela Samarati

Proceedings of the Second International Workshop on Security and Trust Management, 2006

Audit-Based Access Control for Electronic Health Records.

M. A. C. Dekker, Sandro Etalle

Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006

APHRODITE: an Anomaly-based Architecture for False Positive Reduction

Damiano Bolzoni, Sandro Etalle

CoRR, 2006

LicenseScript: a logical language for digital rights management.

Cheun Ngen Chong, Ricardo Corin, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Yee Wei Law, Andrew Tokmakoff

Ann. des Télécommunications, 2006

A Logic for Constraint-based Security Protocol Analysis.

Ricardo Corin, Sandro Etalle, Ari Saptawijaya

Proceedings of the 2006 IEEE Symposium on Security and Privacy (S&P 2006), 2006

POSEIDON: a 2-tier Anomaly-based Network Intrusion Detection System.

Damiano Bolzoni, Sandro Etalle, Pieter H. Hartel, Emmanuele Zambon

Proceedings of the 4th IEEE International Workshop on Information Assurance (IWIA 2006), 2006

2005

Nonmonotonic Trust Management for P2P Applications.

Marcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Jerry den Hartog

Proceedings of the First International Workshop on Security and Trust Management, 2005

Poseidon: a 2-tier Anomaly-based Intrusion Detection System

Damiano Bolzoni, Emmanuele Zambon, Sandro Etalle, Pieter H. Hartel

CoRR, 2005

StreamTo: Streaming Content using a Tamper-Resistant Token.

Jieyin Cheng, Cheun Ngen Chong, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Stefan Nikolaus

Proceedings of the Security and Privacy in the Age of Ubiquitous Computing, IFIP TC11 20th International Conference on Information Security (SEC 2005), May 30, 2005

Integrity constraints in trust management.

Sandro Etalle, William H. Winsborough

Proceedings of the 10th ACM Symposium on Access Control Models and Technologies, 2005

An Audit Logic for Accountability.

J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog

Proceedings of the 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 2005

PS-LTL for Constraint-Based Security Protocol Analysis.

Ricardo Corin, Ari Saptawijaya, Sandro Etalle

Proceedings of the Logic Programming, 21st International Conference, 2005

Service Brokerage in Prolog.

Cheun Ngen Chong, Sandro Etalle, Pieter H. Hartel, Rieks Joosten, Geert Kleinhuis

Proceedings of the ICEIS 2005, 2005

A Formal Security Analysis of an OSA/Parlay Authentication Interface.

Ricardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2004

Termination of simply moded logic programs with dynamic scheduling.

Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus

ACM Trans. Comput. Log., 2004

Analysing Password Protocol Security Against Off-line Dictionary Attacks.

Ricardo Corin, Jeroen Doumen, Sandro Etalle

Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, 2004

License Protection with a Tamper-Resistant Token.

Cheun Ngen Chong, Bin Ren, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Ricardo Corin

Proceedings of the Information Security Applications, 5th International Workshop, 2004

Declarative Semantics of Input Consuming Logic Programs.

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

A Logic for Auditing Accountability in Decentralized Systems.

Ricardo Corin, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini, I. Staicu

Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

Timed model checking of security protocols.

Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader

Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, 2004

Modelling Mobility Aspects of Security Policies.

Pieter H. Hartel, Pascal van Eck, Sandro Etalle, Roel J. Wieringa

Proceedings of the Construction and Analysis of Safe, 2004

2003

Preface.

Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury

Proceedings of the International Workshop on Software Verification and Validation, 2003

A Trace Logic for Local Security Properties.

Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Antonio Durante

Proceedings of the International Workshop on Software Verification and Validation, 2003

LicenseScript: a novel digital rights language and its semantics.

Cheun Ngen Chong, Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Willem Jonker, Yee Wei Law

Proceedings of the 3rd International Conference on WEB Delivering of Music (WEDELMUSIC 2003), 2003

Assessing Security in Energy-Efficient Sensor Networks.

Yee Wei Law, Sandro Etalle, Pieter H. Hartel

Proceedings of the Security and Privacy in the Age of Uncertainty, 2003

Comparing Logic-Based and XML-Based Rights Expression Languages.

Cheun Ngen Chong, Sandro Etalle, Pieter H. Hartel

Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks.

Yee Wei Law, Ricardo Corin, Sandro Etalle, Pieter H. Hartel

Proceedings of the Personal Wireless Communications, IFIP-TC6 8th International Conference, 2003

EYES - Energy Efficient Sensor Networks.

Paul J. M. Havinga, Sandro Etalle, Holger Karl, Chiara Petrioli, Michele Zorzi, Harry Kip, Thomas Lentsch

Proceedings of the Personal Wireless Communications, IFIP-TC6 8th International Conference, 2003

LKHW: A Directed Diffusion-Based Secure Multicast Scheme for Wireless Sensor Networks.

Roberto Di Pietro, Luigi V. Mancini, Yee Wei Law, Sandro Etalle, Paul J. M. Havinga

Proceedings of the 32nd International Conference on Parallel Processing Workshops (ICPP 2003 Workshops), 2003

Approximating Fair Use in LicenseScript.

Cheun Ngen Chong, Sandro Etalle, Pieter H. Hartel, Yee Wei Law

Proceedings of the Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access, 2003

2002

Properties of input-consuming derivations.

Annalisa Bossi, Sandro Etalle, Sabina Rossi

Theory Pract. Log. Program., 2002

On modular termination proofs of general logic programs.

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi

Theory Pract. Log. Program., 2002

An Improved Constraint-Based System for the Verification of Security Protocols.

Ricardo Corin, Sandro Etalle

Proceedings of the Static Analysis, 9th International Symposium, 2002

Transformation Systems and Nondeclarative Properties.

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001

Transformations of CCP programs.

Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo

ACM Trans. Program. Lang. Syst., 2001

Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols.

Giorgio Delzanno, Sandro Etalle

Proceedings of the Logic Based Program Synthesis and Transformation, 2001

Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling.

Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus

Proceedings of the Programming Languages and Systems, 2001

2000

Semantics of well-moded input-consuming logic programs.

Annalisa Bossi, Sandro Etalle, Sabina Rossi

Comput. Lang., 2000

The lazy functional side of logic programming.

Sandro Etalle, Jon Mountjoy

Proceedings of the Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, 2000

Semantics of Input-Consuming Logic Programs.

Annalisa Bossi, Sandro Etalle, Sabina Rossi

Proceedings of the Computational Logic, 2000

1999

Preface - Workshop on Verification of Logic Programs.

Sandro Etalle, Jan-Georg Smaus

Proceedings of the Workshop on Verification of Logic Programs 1999, 1999

Declarative solutions to partitioned-grid problems.

Sandro Etalle, Pieter H. Hartel, Willem G. Vree

Softw. Pract. Exp., 1999

Layered Modes.

Sandro Etalle, Maurizio Gabbrielli

J. Log. Program., 1999

Termination of Well-Moded Programs.

Sandro Etalle, Annalisa Bossi, Nicoletta Cocco

J. Log. Program., 1999

Transformation of Left Terminating Programs.

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle

Proceedings of the Logic Programming Synthesis and Transformation, 1999

Logic Programming with Requests.

Sandro Etalle, Femke van Raamsdonk

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

The Replacement Operation for CCP Programs.

Marco Bertolino, Sandro Etalle, Catuscia Palamidessi

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998

A Semantics for Modular General Logic Programs.

Sandro Etalle

Theor. Comput. Sci., 1998

Partial Evaluation of Concurrent Constraint Languages.

Sandro Etalle, Maurizio Gabbrielli

ACM Comput. Surv., 1998

Beyond Success and Failure.

Sandro Etalle, Femke van Raamsdonk

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

Unfold/Fold Transformations of CCP Programs.

Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997

A Transformation System for CLP with Dynamic Scheduling and CCP.

Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997

1996

Transformations of CLP Modules.

Sandro Etalle, Maurizio Gabbrielli

Theor. Comput. Sci., 1996

Simultaneous Replacement in Normal Programs.

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle

J. Log. Comput., 1996

Unification-free Prolog programs revisited.

Sandro Etalle

J. Program. Lang., 1996

On the Correctness of the Replacement Operation for CLP Modules.

Sandro Etalle, Maurizio Gabbrielli

J. Funct. Log. Program., 1996

A Compositional Semantics for Normal Open Programs.

Sandro Etalle, Frank Teusink

Proceedings of the Logic Programming, 1996

1995

The Replacement Operation for CLP Modules.

Sandro Etalle, Maurizio Gabbrielli

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

Transformation of Left Terminating Programs: the Reordering Problem.

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle

Proceedings of the Logic Programming Synthesis and Transformation, 1995

A Transformation System for Modular CLP Programs.

Sandro Etalle, Maurizio Gabbrielli

Proceedings of the Logic Programming, 1995

1994

Transforming Acyclic Programs.

Annalisa Bossi, Sandro Etalle

ACM Trans. Program. Lang. Syst., 1994

More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics.

Annalisa Bossi, Sandro Etalle

Proceedings of the Logic Programming Synthesis and Transformation, 1994

Modular Transformations of CLP Programs.

Sandro Etalle, Maurizio Gabbrielli

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

On the Unification Free Prolog Programs.

Krzysztof R. Apt, Sandro Etalle

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

1992

On Safe Folding.

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle

Proceedings of the Programming Language Implementation and Logic Programming, 1992

Transforming Normal Programs by Replacement.

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle

Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992