IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 133
Titolo Data di pubblicazione Autore(i) File
On Group Secrets and the Metacommunicative Aspects of Revealing a True Secret 1-gen-2026 Aldini, Alessandro; Fazio, Davide; Graziani, Pierluigi; Mascella, Raffaele; Tagliaferri, Mirko
Lich: Enhancing IoT Supply Chain Security Through Automated Firmware Analysis 1-gen-2025 Aldini, Alessandro; Ardito, Luca; Bianco, Giuseppe Marco; Valsesia, Michele
Noninterference Analysis of Deterministically Timed Reversible Systems 1-gen-2025 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
Exploiting usage control for implementation and enforcement of security by contract 1-gen-2025 Rasori, Marco; Mori, Paolo; Saracino, Andrea; Aldini, Alessandro
A Rust Library for Behaviors Assessment in Software Certification 1-gen-2025 Aldini, Alessandro; Ardito, Luca; Bianco, Giuseppe Marco; Valsesia, Michele
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity 1-gen-2025 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco; Rossi, Sabina
A logical perspective on intending to keep a true secret 1-gen-2025 Aldini, Alessandro; Fazio, Davide; Graziani, Pierluigi; Mascella, Raffaele; Tagliaferri, Mirko
Noninterference Analysis of Stochastically Timed Reversible Systems 1-gen-2025 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
Support + Belief = Decision Trust 1-gen-2025 Aldini, Alessandro; Ciabattoni, Agata; Pichler, Dominik; Tagliaferri, Mirko
Formalizing Errors in CCS with 3-Valued Logic 1-gen-2025 Aldini, Alessandro; Mezzina, Claudio Antares
Towards Evaluating Large Language Models for Graph Query Generation 1-gen-2025 Munir, Siraj; Aldini, Alessandro
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops 1-gen-2024 Aldini, Alessandro
A Process Algebraic Framework for Multi-Agent Dynamic Epistemic Systems 1-gen-2024 Aldini, Alessandro
Enabling compliant and inclusive financial services using a rule-language 1-gen-2024 Aldini, Alessandro; Maranhão Moreno, Suzana M. B.; Seigneur, Jean Marc
Image-based detection and classification of Android malware through CNN models 1-gen-2024 Aldini, Alessandro; Petrelli, Tommaso
Hyperproperties for Safe and Secure RFID Systems 1-gen-2024 Fusco, Ludovico; Aldini, Alessandro
Frequentist Probability Logic 1-gen-2024 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
Noninterference Analysis of Reversible Probabilistic Systems 1-gen-2024 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
A probabilistic modal logic for context-aware trust based on evidence 1-gen-2024 Aldini, Alessandro; Curzi, Gianluca; Graziani, Pierluigi; Tagliaferri, Mirko
A hierarchical characterization of ignorance in epistemic Logic 1-gen-2023 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
Mostrati risultati da 1 a 20 di 133
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile