Enrico Bacis

Software Engineering PhD Student

https://enricobacis.com

I am a passionate developer who loves working with enthusiastic people on projects that matter. After receiving a master's degree in Software Engineering, I started working as a researcher at the University of Bergamo. My work focuses on computer security, mostly investigating the integration of security features in (mobile|cloud|database) systems. My non-work interests range widely, from programming languages to CTFs to playing drums. I love to solve problems, learn new things and discuss with interesting people.

Work Experience

Google - London

PhD Software Engineering Intern

2018-07-02 - 2018-10-19
https://www.android.com/play-protect

Advanced the state of automatic Android malware discovery

  • Developed an engine to improve Android dynamic binary malware analysis.

Google - Munich

PhD Software Engineering Intern

2017-07-01 - 2017-09-29
https://developers.google.com/v8

Advanced the state of WebAssembly memory accesses bounds checks

  • Improved correctness, security, and performance of V8 by reducing code patching

Università degli Studi di Bergamo

Researcher

2014-05-01 - Present
https://seclab.unibg.it

UniBG Seclab is the Computer Security group at the University of Bergamo. Their research interests include cloud, mobile and systems security, with particular focus on policies and access control.

  • Co-principal investigator of a Google Research Award - Winter 2016
  • Participation in the SeSQLite project (Google Research Award - Winter 2014)
  • Integrated SELinux access controls in Docker, SQLite and Android Apps
  • Developed an algorithm to balance utility and privacy in data publishing
  • Supervised 20+ thesis students

Politecnico di Milano

Teaching Assistant

2014-10-01 - 2015-01-31
https://polimi.it

Teaching assistant for the master course Databases II

  • Lectures on databases technologies, distributed databases and triggers
  • Taught in english

Università degli Studi di Bergamo

Teaching Assistant

2014-09-01 - 2014-12-31
https://www.unibg.it

Teaching assistant for the bachelor course Databases II

  • Lectures on databases technologies, distributed databases and triggers
  • Taught in italian

Volunteer

BgLUG - Bergamo Linux Users Group

Volunteer

2014-12-01 - Present
https://bglug.it

Local Linux Users Group to spread Linux and FOSS.

  • Board Member
  • Install Linux to local primary and secondary schools

Education

Università degli Studi di Bergamo

Software Engineering

Ph.D. program in Engineering and Applied Sciences

2016-10-01 - Present

Università degli Studi di Bergamo

Software Engineering

Master of Science (MSc)

2011-12-01 - 2014-04-30
GPA: 4.0/4.0
  • Business Information Management
  • Business Management
  • Compilers and Programming Languages
  • Software Engineering 3
  • Control Systems
  • IT Systems
  • Information Theory
  • Integrated Logistics Systems
  • Model Identification and Data Analysis
  • Optimization Models and Algorithms
  • Systems Security
  • Theoretical Computer Science

Syddansk Universitet

Software Engineering

Exchange Program

2012-01-01 - 2012-06-30
  • XI-AAP - Android Programming
  • XI-CNE - Computer Networks
  • XI-DSA - Distributed Systems and Applications
  • XI-GD - Game Design
  • XI-OOP2 - Object Oriented Programming 2
  • XR-EMP - Embedded Programming

Università degli Studi di Bergamo

Software Engineering

Bachelor of Science (BSc)

2008-09-01 - 2011-12-16
GPA: 105/110
  • Algebra and Logic
  • Calculus I + II
  • Chemistry
  • Software Engineering I + II
  • Computer Graphics
  • Databases II
  • Databases and Web
  • Economics and Business
  • Electrical Engineering
  • Foundations of Computer Networks
  • Foundations of Control Systems
  • Foundations of Electronics
  • Management Control Systems
  • Multimedia Networks
  • Physics
  • Real Time Systems
  • Software Engineering
  • Statistics and Stochastic Models
  • Telecommunication Networks

Liceo Scientifico L. Einaudi

Scientific High School

High School

2003-09-01 - 2008-06-30

Awards

New graduate of the year

LUBERG - University of Bergamo Alumni Association

2014-10-01

LUBERG new graduate of the year award rewards talent, determination and commitment of graduates who stand out for a particularly brilliant academic record, the results achieved in the degree course, the originality and the scientific rigor of the thesis.

Publications

Mix&Slice: Efficient Access Revocation in the Cloud

CCS'16 (ACM)

2016-10
Link

Managing Data Sharing in OpenStack Swift with Over-Encryption

WISCS'16 (ACM)

2016-10
Link

Access Control Management for Secure Cloud Storage

SECURECOMM'16 (EAI)

2016-10

Extending Mandatory Access Control Policies in Android

ICISS'15

2015-12
Link

SeSQLite: Security Enhanced SQLite

ACSAC'15

2015-12
Link

Policy Specialization to Support Domain Isolation

SAFECONFIG'15 (ACM)

2015-10
Link

DockerPolicyModules: Mandatory Access Control for Docker Containers

CNS'15 (IEEE)

2015-09
Link

An SELinux-based Intent manager for Android

CNS'15 (IEEE)

2015-09
Link

AppPolicyModules: Mandatory Access Control for Third-Party Apps

ASIACCS'15 (ACM)

2015-04
Link

Skills

Programming

Master

  • Python
  • Java
  • C/C++

Linux

Intermediate

  • Ubuntu
  • Fedora
  • Arch Linux

Security

Intermediate

  • Cryptography
  • SELinux
  • CTFs

Engineering

Intermediate

  • Project Management
  • Version Control
  • Databases

Research

Intermediate

  • LaTeX
  • Networking
  • Public Speaking

DevOps

Beginner

  • Jenkins
  • Puppet
  • Ansible

Web Development

Beginner

  • Jekyll
  • Bootstrap
  • Django

Languages

Italian

Native speaker

English

Fluent

Interests

Technology

Travel

Music