Archivio Istituzionale della RicercaSU, TAO
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.008 secondi).
Cloudification of Public Services in Smart Cities: the CLIPS project
2016 Filograna, Antonio; Smiraglia, Paolo; Gilsanz, Celia; Krco, Srdjan; Medela, Arturo; Su, Tao
Offloading personal security applications to a secure and trusted network node
2015 Bonafiglia, Roberto; Ciaccia, F.; Lioy, Antonio; Nemirovsky, M.; Risso, FULVIO GIOVANNI OTTAVIO; Su, Tao
How Dangerous is Your Android App? An Evaluation Methodology
2014 Atzeni, Andrea; Su, Tao; M., Baltatu; R., D'Alessandro; G., Pessiva
Lightweight Formal Verification in Real World, A Case Study
2014 Atzeni, Andrea; Su, Tao; Montanaro, Teodoro
Continuous integration for web-based software infrastructures: lessons learned on the webinos project
2013 Su, Tao; Lyle, J.; Atzeni, Andrea; Faily, S.; Virji, H.; Ntanos, C.; Botsikas, C.
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Cloudification of Public Services in Smart Cities: the CLIPS project / Filograna, Antonio; Smiraglia, Paolo; Gilsanz, Celia; Krco, Srdjan; Medela, Arturo; Su, Tao. - ELETTRONICO. - (2016), pp. 153-158. (Intervento presentato al convegno 21st IEEE Symposium on Computers and Communications (ISCC'16) tenutosi a Messina (IT) nel 2016) [10.1109/ISCC.2016.7543731]. | 1-gen-2016 | SMIRAGLIA, PAOLOSU, TAO + | - |
| Offloading personal security applications to a secure and trusted network node / Bonafiglia, Roberto; Ciaccia, F.; Lioy, Antonio; Nemirovsky, M.; Risso, FULVIO GIOVANNI OTTAVIO; Su, Tao. - STAMPA. - (2015), pp. 1-2. (Intervento presentato al convegno Netsoft-2015: 1st IEEE Conference on Network Softwarization tenutosi a London (UK) nel 13-17 April 2015) [10.1109/NETSOFT.2015.7116171]. | 1-gen-2015 | BONAFIGLIA, ROBERTOLIOY, ANTONIORISSO, FULVIO GIOVANNI OTTAVIOSU, TAO + | 2015_netsoft_secured_final.pdf |
| How Dangerous is Your Android App? An Evaluation Methodology / Atzeni, Andrea; Su, Tao; M., Baltatu; R., D'Alessandro; G., Pessiva. - ELETTRONICO. - (2014), pp. 130-139. (Intervento presentato al convegno 11th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services tenutosi a London, United Kingdom nel 02/12/2014-05/12/2014) [10.4108/icst.mobiquitous.2014.257832]. | 1-gen-2014 | ATZENI, ANDREASU, TAO + | - |
| Lightweight Formal Verification in Real World, A Case Study / Atzeni, Andrea; Su, Tao; Montanaro, Teodoro. - STAMPA. - (2014), pp. 335-342. (Intervento presentato al convegno WISSE 2014: 4th International Workshop on Information Systems Security Engineering tenutosi a Thessaloniki (Greece) nel 17 June 2014) [10.1007/978-3-319-07869-4_31]. | 1-gen-2014 | ATZENI, ANDREASU, TAOMONTANARO, TEODORO | - |
| Continuous integration for web-based software infrastructures: lessons learned on the webinos project / Su, Tao; Lyle, J.; Atzeni, Andrea; Faily, S.; Virji, H.; Ntanos, C.; Botsikas, C.. - STAMPA. - LNCS-8244:(2013), pp. 145-150. (Intervento presentato al convegno HVC-2013: Ninth Haifa Verification Conference tenutosi a Haifa (Israel) nel 5-7/11/2013) [10.1007/978-3-319-03077-7_10]. | 1-gen-2013 | SU, TAOATZENI, ANDREA + | - |