Jorge Cuéllar

Proceedings of the Protocols, Strands, and Logic, 2021

2020

Ranking Secure Coding Guidelines for Software Developer Awareness Training in the Industry.

[BibT_eX]

[DOI]

Proceedings of the First International Computer Programming Education Conference, 2020

Enforcing a Cross-Organizational Workflow: An Experience Report.

[BibT_eX]

[DOI]

Susanne Stahnke

Klym Shumaiev

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2020

2019

Guest Editorial Special Issue on Secure Embedded IoT Devices for Resilient Critical Infrastructures.

[BibT_eX]

[DOI]

Panayiotis Kotzanikolaou

Mihalis Psarakis

IEEE Internet Things J., 2019

2018

Securing Emergent IoT Applications.

[BibT_eX]

[DOI]

Proceedings of the Engineering Trustworthy Software Systems - 4th International School, 2018

Securing the Integrity of Workflows in IoT.

[BibT_eX]

[DOI]

Proceedings of the 2018 International Conference on Embedded Wireless Systems and Networks, 2018

Workflow-Aware Security of Integrated Mobility Services.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2018

2016

SafeConfig'16: Testing and Evaluation for Active & Resilient Cyber Systems Panel Verification of Active and Resilient Systems: Practical or Utopian?

[BibT_eX]

[DOI]

Christopher S. Oehmen

Gregory E. Shannon

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

Location Privacy in Wireless Sensor Networks.

[BibT_eX]

[DOI]

CRC Press / Taylor & Francis, ISBN: 9781498776332, 2016

2015

Probabilistic receiver-location privacy protection in wireless sensor networks.

[BibT_eX]

[DOI]

Inf. Sci., 2015

Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Software and Systems - 7th International Symposium, 2015

2014

Guest editorial to the Special Issue on Component-Based Software Engineering and Software Architecture.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Preserving Receiver-Location Privacy in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Information Security Practice and Experience, 2014

2013

Geolocation Policy: A Document Format for Expressing Privacy Preferences for Location Information.

[BibT_eX]

[DOI]

Henning Schulzrinne

Hannes Tschofenig

Jorge Ricardo Cuellar

James M. Polk

John B. Morris

Martin Thomson

RFC, January, 2013

Toward a Statistical Framework for Source Anonymity in Sensor Networks.

[BibT_eX]

[DOI]

IEEE Trans. Mob. Comput., 2013

An authentication flaw in browser-based Single Sign-On protocols: Impact and remediations.

[BibT_eX]

[DOI]

Comput. Secur., 2013

Location Privacy in WSNs: Solutions, Challenges, and Future Trends.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Security Analysis and Design VII, 2013

2012

Scalable RFID Systems: A Privacy-Preserving Protocol with Constant-Time Identification.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2012

Preface.

[BibT_eX]

[DOI]

J. Comput. Secur., 2012

Non-interference on UML State-Charts.

[BibT_eX]

[DOI]

Martín Ochoa

Jan Jürjens

Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Indistinguishable regions in geographic privacy.

[BibT_eX]

[DOI]

Martín Ochoa

Proceedings of the ACM Symposium on Applied Computing, 2012

Robust Probabilistic Fake Packet Injection for Receiver-Location Privacy in WSN.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2012, 2012

2011

From Multiple Credentials to Browser-Based Single Sign-On: Are We More Secure?

[BibT_eX]

[DOI]

Proceedings of the Future Challenges in Security and Privacy for Academia and Industry, 2011

2010

Statistical Framework for Source Anonymity in Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2010

2008

Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, 2008

2007

Common Policy: A Document Format for Expressing Privacy Preferences.

[BibT_eX]

[DOI]

Henning Schulzrinne

Hannes Tschofenig

John B. Morris

Jorge Ricardo Cuellar

James M. Polk

Jonathan D. Rosenberg

RFC, February, 2007

SoSyM Special Section on Software Engineering and Formal Methods.

[BibT_eX]

[DOI]

Zhiming Liu

Softw. Syst. Model., 2007

Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2007

2006

Automated Reasoning for Security Protocol Analysis.

[BibT_eX]

[DOI]

J. Autom. Reason., 2006

Designing and Verifying Core Protocols for Location Privacy.

[BibT_eX]

[DOI]

David von Oheimb

Proceedings of the Information Security, 9th International Conference, 2006

2005

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Geopriv Requirements.

[BibT_eX]

[DOI]

RFC, February, 2004

2000

Foreword.

[BibT_eX]

[DOI]

Stefania Gnesi

Diego Latella

Sci. Comput. Program., 2000

1998

Software Engineering Education: Rôles of Formal Specification and Design Calculi.

[BibT_eX]

[DOI]

Dines Bjørner

Ann. Softw. Eng., 1998

Formal Methods in an Industrial Environment.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1996

Rapid Prototyping for an Assertional Specification language.

[BibT_eX]

[DOI]

Dieter Barnard

Martin Huber

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

1995

Development of Safety-Critical Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM '95, 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23, 1995

TLT.

[BibT_eX]

[DOI]

Martin Huber

Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

The Real-Time Behavior of the Steam Boiler.

[BibT_eX]

[DOI]

Isolde Wildgruber

Proceedings of the Formal Methods for Industrial Applications, 1995

The Steam-Boiler Problem - A TLT Solution.

[BibT_eX]

[DOI]

Isolde Wildgruber

Proceedings of the Formal Methods for Industrial Applications, 1995

1994

Combining the Design of Industrial Systems with Effective Verification Techniques.

[BibT_eX]

[DOI]

Isolde Wildgruber

Dieter Barnard

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

A Solution Relying on the Model Checking of Boolean Transition Systems.

[BibT_eX]

[DOI]

Dieter Barnard

Martin Huber

Proceedings of the Formal Systems Specification, 1994

1993

Neural Discriminant Analysis.

[BibT_eX]

[DOI]

Jorge Ricardo Cuellar

Hans Ulrich Simon

Proceedings of the Algorithmic Learning Theory, 4th International Workshop, 1993

1992

The Performance of an Expanded Storage System for High Volume Transaction Processing.

[BibT_eX]

Frank-Peter Sette

Othmar Klaassen

Proceedings of the Eurosim 1992, Simulation Congress, Proceedings of the 1992 EUROSIM Conference, Capri, Italy, September 28, 1992

1989

Lockperformance in Betriebssystemen.

[BibT_eX]

[DOI]