BURO, SAMUELE

BURO, SAMUELE  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.083 secondi).
Titolo Data di pubblicazione Autore(i) File
Abstract Code Injection: A Semantic Approach Based on Abstract Non-Interference 1-gen-2018 Buro, Samuele; Mastroeni, Isabella
Equational logic and categorical semantics for multi-languages 1-gen-2020 Buro, Samuele; Crole, Roy L.; Mastroeni, Isabella
Equational Logic and Set-Theoretic Models for Multi-Languages 1-gen-2020 Buro, Samuele; Crole, Roy L.; Mastroeni, Isabella
KArMA - A Knowledge-Aided Monitoring Approach for SQL Injection Attacks 1-gen-2017 Buro, Samuele; Mastroeni, Isabella
On Multi-language Abstraction 1-gen-2020 Buro, Samuele; Crole, Roy L.; Mastroeni, Isabella
On multi-language abstraction: Towards a static analysis of multi-language programs 1-gen-2023 Buro, Samuele; Crole, Roy; Mastroeni, Isabella
On Multi-Language Semantics: Semantic Models, Equational Logic, and Abstract Interpretation of Multi-Language Code In corso di stampa Buro, Samuele
On the Multi-Language Construction 1-gen-2019 Buro, Samuele; Mastroeni, Isabella
On the semantic equivalence of language syntax formalisms 1-gen-2019 Buro, Samuele; Mastroeni, Isabella
On the semantic equivalence of language syntax formalisms 1-gen-2020 Buro, Samuele; Mastroeni, Isabella