Lintent: towards security type-checking of Android applications Michele Bugliesi, Stefano Calzavara, and Alvise Spanò Università Ca’ Foscari Venezia Abstract. The widespread adoption of Android devices has attracted

Source URL: www.dais.unive.it

Type-based analysis of real PKCS#11 devices∗ Riccardo Focardi Flaminia Luccio DAIS, Universit`

Source URL: csf2012.seas.harvard.edu

• Electronic commerce
• PKCS11
• PKCS
• RSA
• Security token
• Cryptography
• Cryptography standards
• Public-key cryptography

Dominant Sets and Hierarchical Clustering Massimiliano Pavan and Marcello Pelillo Dipartimento di Informatica Universit`a Ca’ Foscari di Venezia Via Torino 155, 30172 Venezia Mestre, Italy {mapavan, pelillo}@dsi.unive.

Source URL: www.dais.unive.it

Frequency Domain Filters Andrea Torsello DAIS Università Ca’ Foscari via Torino 155,

Source URL: www.dsi.unive.it

Optim Lett:287–295 DOIs11590ORIGINAL PAPER A generalization of the Motzkin–Straus theorem to hypergraphs

Source URL: www.dais.unive.it

Programmazione Espressioni condizionali e variabili. Samuel Rota Bul` o DAIS Universit`

Source URL: www.dsi.unive.it

Programmazione Definizione di nuovi tipi Samuel Rota Bul` o DAIS Universit`

Source URL: www.dsi.unive.it

Image and Vision Computing–922 Contents lists available at ScienceDirect Image and Vision Computing journal homepage: www.elsevier.com/locate/imavis

Source URL: www.dais.unive.it

Data Sets and Data Resources GGF8 Seattle DAIS WG Second WG Meeting at GGF8

Source URL: www.nesc.ac.uk

Annealed imitation: Fast dynamics for maximum clique

Source URL: www.dais.unive.it