SAFEWEB: A Middleware for Securing Ruby-based Web Applications Petr Hosek1 , Matteo Migliavacca1 , Ioannis Papagiannis1 , David M. Eyers2 , David Evans3 , Brian Shand4 , Jean Bacon3 , and Peter Pietzuch1 1

Source URL: srg.doc.ic.ac.uk

• Computer security
• Security engineering
• Prevention
• Crime prevention
• Cryptography
• Information governance
• National security
• Data quality
• Information science
• Middleware
• Mandatory access control
• Database

Visualizing SMT-Based Parallel Constraint Solving Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyv¨arinen, and Natasha Sharygina Universit` a della Svizzera italiana, Switzerland Abstract

Source URL: smt-workshop.cs.uiowa.edu

• Theoretical computer science
• Constraint programming
• Software engineering
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Solver
• Boolean satisfiability problem
• DPLL algorithm
• Constraint satisfaction problem

PDF Document

Source URL: matteo.vaccari.name

PDF Document

Source URL: matteo.vaccari.name

Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus Michael Backes1,2 , C˘at˘alin Hri¸tcu1 , and Matteo Maffei1 1 Saarland University, Saarbrücken, Germany

Source URL: prosecco.gforge.inria.fr

Systemic Risk, Contagion, and Financial Networks: a Survey Matteo Chinazzi∗ Giorgio Fagiolo†

Source URL: www.lem.sssup.it

z-Tree Crash Course Matteo Ploner and

Source URL: exside-itn.eu

Achieving Security Despite Compromise Using Zero-knowledge Michael Backes1,2 , Martin P. Grochulla1 , C˘at˘alin Hrit¸cu1 , and Matteo Maffei1 1 Saarland University, Saarbr¨ucken, Germany 2

Source URL: www.sps.cs.uni-saarland.de

Robotics and new opportunities: applications, open access and technology transfer Matteo Bianchi1,2 1 Centro di Ricerca ‘’Enrico Piaggio’’, Università di Pisa (UNIPI)

Source URL: www.sidra2017.deib.polimi.it

THE PHD PROGRAM IN COMPUTER AND CONTROL ENGINEERING MATTEO SONZA REORDA DEPT. OF CONTROL AND COMPUTER ENGINEERING (DAUIN)

Source URL: www.phd-dauin.polito.it