Steffinlongo, Enrico

Nome completo

Afferenza

Dipartimento di Scienze Ambientali, Informatica e Statistica

Mostra records

Risultati 1 - 6 di 6 (tempo di esecuzione: 0.0 secondi).

2012-01-01 Giuseppe, Maggiore; Alvise, Spanò; Orsini, Renzo; Bugliesi, Michele; Abbadi, Mohamed; Steffinlongo, Enrico

2016-01-01 Barbon, Gianluca; Cortesi, Agostino; Ferrara, Pietro; Steffinlongo, Enrico

2018-03-05 Steffinlongo, Enrico

2015-01-01 Calzavara, Stefano; Bugliesi, Michele; S., Crafa; Steffinlongo, Enrico

2016-01-01 Calzavara, Stefano; Rabitti, Alvise; Steffinlongo, Enrico; Bugliesi, Michele

2012-01-01 Maggiore, Giuseppe; P., Spronck; Orsini, Renzo; Bugliesi, Michele; Steffinlongo, Enrico; Abbadi, Mohamed

Titolo	Data di pubblicazione	Autori	Tipo	Abstract
A formal specification for Casanova, a language for computer games	1-gen-2012	Giuseppe MaggioreAlvise SpanòORSINI, RenzoBUGLIESI, MicheleABBADI, MOHAMEDSteffinlongo, Enrico + -	4.1 Articolo in Atti di convegno	-
DAPA: Degradation-Aware Privacy Analysis of Android Apps	1-gen-2016	Barbon, GianlucaCORTESI, AgostinoFerrara, PietroSteffinlongo, Enrico + -	4.1 Articolo in Atti di convegno	-
Efficient security analysis of administrative access control policies	5-mar-2018	Steffinlongo, Enrico	-	-
Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions	1-gen-2015	CALZAVARA, STEFANOBUGLIESI, MicheleS. CrafaSteffinlongo, 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, GIUSEPPEP. SpronckORSINI, RenzoBUGLIESI, MicheleSteffinlongo, EnricoABBADI, MOHAMED + -	4.1 Articolo in Atti di convegno	-