Vivek Nigam

Aellison Cassimiro T. dos Santos

ACM Trans. Cyber Phys. Syst., January, 2023

BLE injection-free attack: a novel attack on bluetooth low energy devices.

[BibT_eX]

[DOI]

J. Ambient Intell. Humaniz. Comput., 2023

Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures.

[BibT_eX]

[DOI]

CoRR, 2023

Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Software Engineering, 2023

Safety-Aware Deployment Synthesis and Trade-Off Analysis of Apollo Autonomous Driving Platform.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Software Architecture, 2023

Automating Vehicle SOA Threat Analysis Using a Model-Based Methodology.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Information Systems Security and Privacy, 2023

Incremental Rewriting Modulo SMT.

[BibT_eX]

[DOI]

Gerald Whitters

Proceedings of the Automated Deduction - CADE 29, 2023

2022

Detection and diagnosis of deviations in distributed systems of autonomous agents.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., October, 2022

On the Security and Complexity of Periodic Systems.

[BibT_eX]

[DOI]

SN Comput. Sci., 2022

Automated construction of security integrity wrappers for Industry 4.0 applications.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2022

Technical Report: Automating Vehicle SOA Threat Analysis using a Model-Based Methodology.

[BibT_eX]

[DOI]

CoRR, 2022

Automating Safety and Security Co-Design through Semantically-Rich Architectural Patterns.

[BibT_eX]

[DOI]

CoRR, 2022

Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022

A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021

Resource and timing aspects of security protocols.

[BibT_eX]

[DOI]

J. Comput. Secur., 2021

On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report.

[BibT_eX]

[DOI]

CoRR, 2021

On Security Analysis of Periodic Systems: Expressiveness and Complexity.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021

Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

Proof Search and Certificates for Evidential Transactions.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 28, 2021

On the Complexity of Verification of Time-Sensitive Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Protocols, Strands, and Logic, 2021

2020

Security Engineering for ISO 21434.

[BibT_eX]

[DOI]

Harald Ruess

CoRR, 2020

Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns.

[BibT_eX]

[DOI]

Antoaneta Kondeva

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

Slow denial-of-service attacks on software defined networks.

[BibT_eX]

[DOI]

Túlio A. Pascoal

Comput. Networks, 2020

A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control.

[BibT_eX]

[DOI]

Proceedings of the IEEE Vehicular Networking Conference, 2020

Soft Subexponentials and Multiplexing.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Logical and Semantic Frameworks with Applications.

[BibT_eX]

[DOI]

René Thiemann

Theor. Comput. Sci., 2019

Subexponentials in non-commutative linear logic.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2019

Towards Computer-Aided Software Requirements Process.

[BibT_eX]

[DOI]

Marina Reich

Tatiana Chuprina

Aellison Cassimiro T. dos Santos

Proceedings of the Workshops of the Software Engineering Conference 2019, 2019

A Multi-UAV Co-Simulation Environment for Safety and Performance Analysis.

[BibT_eX]

[DOI]

Proceedings of the IX Brazilian Symposium on Computing Systems Engineering, 2019

On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

ExplicitCase: Tool-Support for Creating and Maintaining Assurance Arguments Integrated with System Models.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

TSNSCHED: Automated Schedule Generation for Time Sensitive Networking.

[BibT_eX]

[DOI]

Ben Schneider

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

Formal Security Verification of Industry 4.0 Applications.

[BibT_eX]

[DOI]

João Henrique G. M. Corrêa

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Resource-Bounded Intruders in Denial of Service Attacks.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

Selectivity and Autoscaling as Complementary Defenses for DDoS Protection to Cloud Services.

[BibT_eX]

[DOI]

Epaminondas A. Sousa Junior

Moisés R. N. Ribeiro

Rodolfo da Silva Villaça

Proceedings of the 2019 IEEE 8th International Conference on Cloud Networking, 2019

Symbolic Timed Trace Equivalence.

[BibT_eX]

[DOI]

Abraão Aires Urquiza

Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019

A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019

2018

Effect-dependent transformations for concurrent programs.

[BibT_eX]

[DOI]

Nick Benton

Martin Hofmann

Sci. Comput. Program., 2018

Proof-Relevant Logical Relations for Name Generation.

[BibT_eX]

[DOI]

Nick Benton

Martin Hofmann

Log. Methods Comput. Sci., 2018

On the accuracy of formal verification of selective defenses for TDoS attacks.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2018

Compliance in Real Time Multiset Rewriting Models.

[BibT_eX]

[DOI]

CoRR, 2018

Model-Based Safety and Security Engineering.

[BibT_eX]

[DOI]

Alexander Pretschner

Harald Ruess

CoRR, 2018

Symbolic Timed Observational Equivalence.

[BibT_eX]

[DOI]

Abraão Aires Urquiza

CoRR, 2018

Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations.

[BibT_eX]

[DOI]

Proceedings of the ICT Systems Security and Privacy Protection, 2018

Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols.

[BibT_eX]

[DOI]

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

A Logical Framework with Commutative and Non-commutative Subexponentials.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

On subexponentials, focusing and modalities in concurrent systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

A rewriting framework and logic for activities subject to regulations.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2017

Time, computational complexity, and probability in the analysis of distance-bounding protocols.

[BibT_eX]

[DOI]

J. Comput. Secur., 2017

Mechanizing Focused Linear Logic in Coq.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

Analysis of design strategies for unmanned aerial vehicles using co-simulation.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2017

A Framework for Analyzing Adaptive Autonomous Aerial Vehicles.

[BibT_eX]

[DOI]

Ian A. Mason

Alisson Vasconcelos de Brito

Proceedings of the Software Engineering and Formal Methods, 2017

Slow TCAM Exhaustion DDoS Attack.

[BibT_eX]

[DOI]

Proceedings of the ICT Systems Security and Privacy Protection, 2017

Módulo de Proteção contra Ataques de Negação de Serviço na Camada de Aplicação: uma Análise de Qualidade de Serviço e Experiência de Usuá rio∗.

[BibT_eX]

[DOI]

Túlio A. Pascoal

João Henrique G. M. Corrêa

Rafael Brayner

Proceedings of the XXXV Brazilian Symposium on Computer Networks and Distributed Systems, 2017

2016

An extended framework for specifying and reasoning about proof systems.

[BibT_eX]

[DOI]

J. Log. Comput., 2016

Preface.

[BibT_eX]

[DOI]

Mário Florido

Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016

Formal Specification and Verification of a Selective Defense for TDoS Attacks.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016

Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016

A Framework for the Analysis of UAV Strategies Using Co-simulation.

[BibT_eX]

[DOI]

Proceedings of the VI Brazilian Symposium on Computing Systems Engineering, 2016

Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders.

[BibT_eX]

[DOI]

Abraão Aires Urquiza

Proceedings of the Computer Security - ESORICS 2016, 2016

Counting Successes: Effects and Transformations for Non-deterministic Programs.

[BibT_eX]

[DOI]

Proceedings of the A List of Successes That Can Change the World, 2016

2015

Subexponential concurrent constraint programming.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Logic and Verification Methods in Security and Privacy (NII Shonan Meeting 2015-16).

[BibT_eX]

[DOI]

Marco Gaboardi

Tachio Terauchi

NII Shonan Meet. Rep., 2015

Multi-focused Proofs with Different Polarity Assignments.

[BibT_eX]

[DOI]

João Neto

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

Towards the Automated Generation of Focused Proof Systems.

[BibT_eX]

[DOI]

Leonardo Lima

Proceedings of the Proceedings First International Workshop on Focusing, 2015

Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

Inferring Executable Models from Formalized Experimental Evidence.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2015

2014

A Proof Theoretic Study of Soft Concurrent Constraint Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

A framework for linear authorization logics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Bounded memory Dolev-Yao adversaries in collaborative systems.

[BibT_eX]

[DOI]

Inf. Comput., 2014

Bounded memory protocols.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2014

Abstract effects and proof-relevant logical relations.

[BibT_eX]

[DOI]

Nick Benton

Martin Hofmann

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

A Selective Defense for Application Layer DDoS Attacks.

[BibT_eX]

[DOI]

Proceedings of the IEEE Joint Intelligence and Security Informatics Conference, 2014

Quati: An Automated Tool for Proving Permutation Lemmas.

[BibT_eX]

[DOI]

Leonardo Lima

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

Checking Proof Transformations with ASP.

[BibT_eX]

[DOI]

Leonardo Lima

Theory Pract. Log. Program., 2013

Preface.

[BibT_eX]

[DOI]

Valeria de Paiva

Mario R. F. Benevides

Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, 2013

Dynamic Spaces in Concurrent Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

Bounded Memory Protocols and Progressing Collaborative Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2013, 2013

A General Proof System for Modalities in Concurrent Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012

FSR: formal analysis and implementation toolkit for safe interdomain routing.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2012

Maintaining distributed logic programs incrementally.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2012

A Rewriting Framework for Activities Subject to Regulations.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

On the Complexity of Linear Authorization Logics.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Towards an automated assistant for clinical investigations.

[BibT_eX]

[DOI]

Proceedings of the ACM International Health Informatics Symposium, 2012

2010

A Framework for Proof Systems.

[BibT_eX]

[DOI]

J. Autom. Reason., 2010

Specifying Proof Systems in Linear Logic with Subexponentials.

[BibT_eX]

[DOI]

Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, 2010

An Operational Semantics for Network Datalog.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Logics, Agents, and Mobility, 2010

2009

Algorithmic specifications in linear logic with subexponentials.

[BibT_eX]

[DOI]

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

2008

Compound noise separation in digital circuits using blind source separation.

[BibT_eX]

[DOI]

Microelectron. J., 2008

Generalized Blind Delayed Source Separation Model for Online Non-invasive Twin-fetal Sound Separation: A Phantom Study.

[BibT_eX]

[DOI]

J. Medical Syst., 2008

Focusing in Linear Meta-logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007

Incorporating Tables into Proofs.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 21st International Workshop, 2007

2006

A Snore Extraction Method from Mixed Sound for a Mobile Snore Recorder.

[BibT_eX]

[DOI]

J. Medical Syst., 2006

Fuzzy logic based variable step size algorithm for blind delayed source separation.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2006

Adding Knowledge Updates to 3APL.

[BibT_eX]

[DOI]

João Leite

Proceedings of the Programming Multi-Agent Systems, 4th International Workshop, 2006

Compound noise analysis in digital circuits using blind source separation.

[BibT_eX]

[DOI]

Masud H. Chowdhury

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2006), 2006

A Procedure to Extract the Aortic and the Pulmonary Sounds from the Phonocardiogram.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference of the IEEE Engineering in Medicine and Biology Society, 2006

Prova: Rule-Based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics.

[BibT_eX]

[DOI]

Proceedings of the Current Trends in Database Technology - EDBT 2006, 2006

A Dynamic Logic Programming Based System for Agents with Declarative Goals.

[BibT_eX]

[DOI]

João Leite

Proceedings of the Declarative Agent Languages and Technologies IV, 2006

Separation of Individual Noise Sources from Compound Noise Measurements in Digital Circuits.

[BibT_eX]

[DOI]

Masud H. Chowdhury