Work

Automated Analysis and Synthesis of Message Authentication Codes

Year: 2025

Type: conference-paper

Source: Proceedings - Computer Security Foundations Workshop/Proceedings

DOI: 10.1109/csf64896.2025.00015

Authors: Stefan Milius, Dominik Paulus, Dominique Schröder, Lutz Schröder, Julian Thomas

Institutions: Friedrich-Alexander-Universität Erlangen-Nürnberg, TU Wien

Language: English

Topic: Cryptographic Implementations and Security

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Deutsche Forschungsgemeinschaft

Award: G4056390246

OpenAlex ID: W4413204963

FWCI:

Cites: 39

Cited by:

Related to: 10