Steffinlongo, Enrico
Steffinlongo, Enrico
Dipartimento di Scienze Ambientali, Informatica e Statistica
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.0 secondi).
A formal specification for Casanova, a language for computer games
2012-01-01 Giuseppe, Maggiore; Alvise, Spanò; Orsini, Renzo; Bugliesi, Michele; Abbadi, Mohamed; Steffinlongo, Enrico
DAPA: Degradation-Aware Privacy Analysis of Android Apps
2016-01-01 Barbon, Gianluca; Cortesi, Agostino; Ferrara, Pietro; Steffinlongo, Enrico
Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions
2015-01-01 Calzavara, Stefano; Bugliesi, Michele; S., Crafa; Steffinlongo, Enrico
Static Detection of Collusion Attacks in ARBAC-based Workflow Systems
2016-01-01 Calzavara, Stefano; Rabitti, Alvise; Steffinlongo, Enrico; Bugliesi, Michele
Writing real-time .Net games in Casanova
2012-01-01 Maggiore, Giuseppe; P., Spronck; Orsini, Renzo; Bugliesi, Michele; Steffinlongo, Enrico; Abbadi, Mohamed
Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
---|---|---|---|---|---|
A formal specification for Casanova, a language for computer games | 1-gen-2012 | ORSINI, RenzoBUGLIESI, MicheleABBADI, MOHAMEDSteffinlongo, Enrico + | 4.1 Articolo in Atti di convegno | - | |
DAPA: Degradation-Aware Privacy Analysis of Android Apps | 1-gen-2016 | CORTESI, AgostinoFerrara, PietroSteffinlongo, Enrico + | 4.1 Articolo in Atti di convegno | - | |
Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions | 1-gen-2015 | CALZAVARA, STEFANOBUGLIESI, MicheleSteffinlongo, Enrico + | 4.1 Articolo in Atti di convegno | - | |
Static Detection of Collusion Attacks in ARBAC-based Workflow Systems | 1-gen-2016 | CALZAVARA, STEFANORabitti, AlviseSteffinlongo, EnricoBUGLIESI, Michele | 4.1 Articolo in Atti di convegno | - | |
Writing real-time .Net games in Casanova | 1-gen-2012 | MAGGIORE, GIUSEPPEORSINI, RenzoBUGLIESI, MicheleSteffinlongo, EnricoABBADI, MOHAMED + | 4.1 Articolo in Atti di convegno | - |