Talks and presentations

Integrating Undergraduate College Students with Research Projects

May 06, 2022

Talk, International Week, Vilniaus Kolegija School of Informatics, Vilnius, Lithuania

I presented case studies of how Kinneret integrates software engineering students in active academic research projects. The talk was part of a meeting about integrating research projects with Kinneret and VIKO.

CemoMemo

December 01, 2020

Conference talk, Software for the Past (SfP) 2020, Virtual

A walkthrough of the CemoMemo cemetery digitization system. I presented how the system works and the research capabilities that it offers.

Software Engineering Final Year Projects in Kinneret College

February 01, 2020

Talk, 8th Kinneret Conference on Software Engineering Education, Kinneret College on the Sea of Galilee, Israel

I presented work with Prof Amir Tomer about the use of project templates in Kinneret’s Software Engineering capstone course.

Teaching Software Engineering @ Kinneret

September 04, 2019

Talk, Informatics Colloquium, Vilniaus Kolegija School of Informatics, Vilnius, Lithuania

A presentation about Kinneret’s department of software engineering with an emphasis on how its capstone projects work.

Privacy preserving parking

March 01, 2019

Talk, Privacy in data management systems: Day of Study in Memory of Dr. Anat Aharoni, Haifa University, Haifa, Israel

A talk about privacy preservation in municipal parking systems. I presented the scope of the problem and offered a privacy preserving architecture that will make it possible to park on the street using cellular based parking while preserving the level of privacy from classical parking technologies (e.g. parking meters).

Creating Continuity in Software Engineering Capstone Projects

February 01, 2016

Conference proceedings talk, 4th Kinneret Conference on Software Engineering Education, Kinneret College on the Sea of Galilee, Israel

I talked about Kinneret Software Engineering’s model for creating and maintaining quality in capstone projects. I brought examples from successful projects and shared the stage with a repeat capstone project from Rafael Advanced Defense Systems.

Getting Authorization Right for Android Apps

June 30, 2015

Conference proceedings talk, ILAIS 2015, Ono Academic College, Kiryat Ono, Israel

I presented the Authzoid Android secure authorization system I developed with Karthikeyan Bhargavan. I showed how Android file sharing includes many security vulnerabilities. Authzoid shows a path forward for improving security and privacy in apps that share files.

Formal Methods Security Tools in the Service of Cyber Security

March 01, 2015

Conference talk, INCOSE_IL 2015, Herzliya, Israel

I presented an overview of how formal methods tools and languages can be used for evaluating the security of systems. I emphasized mature formal methods tools and showed examples of how each can be used for improving the security of systems and communication protocols.

Computer Security: An Introduction

February 01, 2014

Tutorial, ILTAM Day of Study, Herziya, Israel

An invited talk about the foundations of computer security aimed at practitioners and software engineers who want to apply computer security fundamentals to their programming and systems.

Improving Android File Sharing

June 30, 2012

Talk, INRIA PROSECCO Colloquium, Paris, France

An exploration of how Android file sharing includes many security vulnerabilities and a path forward for improving security and privacy using per-app authorization.