Cover Image

Symmaries: Automatic Inference of Formal Security Summaries for Java Programs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Khakpour, Narges, Berthier, Nicolas
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Formal Languages and Automata Theory Programming Languages Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formally Verifying Noir Zero Knowledge Programs with NAVe
by: Antonino, Pedro, et al.
Published: (2026)

Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof
by: Shi, Chenhao, et al.
Published: (2023)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
by: Zhang, Kaiwen, et al.
Published: (2022)

Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
by: Modesti, Paolo, et al.
Published: (2021)

Automated Formalization of Probabilistic Requirements from Structured Natural Language
by: Mavridou, Anastasia, et al.
Published: (2025)

Semi-Automatic Extraction of Formal Models from Object Oriented Code
by: van Spaendonck, P. H. M.
Published: (2024)

Cellular Automata based Resource Efficient Maximally Equidistributed Pseudo-Random Number Generators
by: A, Bhuvaneswari, et al.
Published: (2026)

Type-safe Monitoring of Parameterized Streams
by: Baumeister, Jan, et al.
Published: (2026)

Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
by: Basile, Davide
Published: (2025)

Contract Based Program Models for Software Model Checking
by: Amilon, Jesper, et al.
Published: (2025)

Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad
by: Lin, Yuanfei, et al.
Published: (2023)

Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation
by: Amorim, Arthur, et al.
Published: (2024)

Privacy-Preserving Runtime Verification
by: Henzinger, Thomas A., et al.
Published: (2025)

Verification and Attack Synthesis for Network Protocols
by: von Hippel, Max
Published: (2025)

Reachability Analysis of the Domain Name System
by: Nevatia, Dhruv, et al.
Published: (2024)

Regular Expression Denial of Service Induced by Backreferences
by: Liu, Yichen, et al.
Published: (2026)

Automated generation of attack trees with optimal shape and labelling
by: Gadyatskaya, Olga, et al.
Published: (2023)

Sharing The Secret: Distributed Privacy-Preserving Monitoring
by: Karimi, Mahyar, et al.
Published: (2026)

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
by: Waga, Masaki, et al.
Published: (2024)

Attack Tree Generation via Process Mining
by: Konsta, Alyzia-Maria, et al.
Published: (2024)

From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink
by: Amorim, Arthur, et al.
Published: (2026)

Proving DNSSEC Correctness: A Formal Approach to Secure Domain Name Resolution
by: Zhang, Qifan, et al.
Published: (2025)

Automata Learning -- Expect Delays!
by: Dengler, Gabriel, et al.
Published: (2025)

Complete FSM Testing Using Strong Separability
by: Hierons, Robert M., et al.
Published: (2025)

A Simple Trace Semantics for Asynchronous Sequence Diagrams
by: Faitelson, David, et al.
Published: (2025)

Ontology-Driven Model-to-Model Transformation of Workflow Specifications
by: Abreu, Francisco, et al.
Published: (2025)

Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving
by: Zheng, Xinyi, et al.
Published: (2025)

On the Marriage of Theory and Practice in Data-Aware Business Processes via Low-Code
by: Eldin, Ali Nour, et al.
Published: (2025)

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
by: Hong, Chih-Duo, et al.
Published: (2025)

A Language and Methodology based on Scenarios, Grammars and Views, for Administrative Business Processes Modelling
by: Ndadji, Milliam Maxime Zekeng, et al.
Published: (2020)

Once and for all: how to compose modules -- The composition calculus
by: Fettke, Peter, et al.
Published: (2024)

Configuration Monitor Synthesis
by: Köhl, Maximilian A., et al.
Published: (2024)

ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification
by: Fang, Yue, et al.
Published: (2026)

Disjunction Composition of BDD Transition Systems for Model-Based Testing
by: Zameni, Tannaz, et al.
Published: (2026)

Twinning automata and regular expressions for string static analysis
by: Negrini, Luca, et al.
Published: (2020)

Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)
by: Ye, Kangfeng, et al.
Published: (2025)

Constrained Decoding of Diffusion LLMs with Context-Free Grammars
by: Mündler, Niels, et al.
Published: (2025)

On the Effectiveness of Large Language Models in Writing Alloy Formulas
by: Hong, Yang, et al.
Published: (2025)

A Synthesis Method of Safe Rust Code Based on Pushdown Colored Petri Nets
by: Zhang, Kaiwen, et al.
Published: (2026)

SynCode: LLM Generation with Grammar Augmentation
by: Ugare, Shubham, et al.
Published: (2024)