BURO, SAMUELE
BURO, SAMUELE
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.007 secondi).
Abstract Code Injection: A Semantic Approach Based on Abstract Non-Interference
2018-01-01 Buro, Samuele; Mastroeni, Isabella
Equational logic and categorical semantics for multi-languages
2020-01-01 Buro, Samuele; Crole, Roy L.; Mastroeni, Isabella
Equational Logic and Set-Theoretic Models for Multi-Languages
2020-01-01 Buro, Samuele; Crole, Roy L.; Mastroeni, Isabella
KArMA - A Knowledge-Aided Monitoring Approach for SQL Injection Attacks
2017-01-01 Buro, Samuele; Mastroeni, Isabella
On Multi-language Abstraction
2020-01-01 Buro, Samuele; Crole, Roy L.; Mastroeni, Isabella
On multi-language abstraction: Towards a static analysis of multi-language programs
2023-01-01 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
2019-01-01 Buro, Samuele; Mastroeni, Isabella
On the semantic equivalence of language syntax formalisms
2020-01-01 Buro, Samuele; Mastroeni, Isabella
On the semantic equivalence of language syntax formalisms
2019-01-01 Buro, Samuele; Mastroeni, Isabella