Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 10 di 10
Titolo Data di pubblicazione Autore(i) File
KArMA - A Knowledge-Aided Monitoring Approach for SQL Injection Attacks 1-gen-2017 Buro, Samuele; Mastroeni, Isabella
Abstract Code Injection: A Semantic Approach Based on Abstract Non-Interference 1-gen-2018 Buro, Samuele; Mastroeni, Isabella
On the semantic equivalence of language syntax formalisms 1-gen-2019 Buro, Samuele; Mastroeni, Isabella
On the Multi-Language Construction 1-gen-2019 Buro, Samuele; Mastroeni, Isabella
On the semantic equivalence of language syntax formalisms 1-gen-2020 Buro, Samuele; Mastroeni, Isabella
Equational Logic and Set-Theoretic Models for Multi-Languages 1-gen-2020 Buro, Samuele; Crole, Roy L.; Mastroeni, Isabella
Equational logic and categorical semantics for multi-languages 1-gen-2020 Buro, Samuele; Crole, Roy L.; 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
Mostrati risultati da 1 a 10 di 10
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