Seminars
Secure Logging, Insecurity in Bluetooth-Based Privacy-Preserving Protocols, and a Prelude on the Importance of Reproducible Research.
Abstract:
This three-part talk starts with a discussion of the importance of reproducible research in science, how it is addressed by various disciplines, and the unique challenges and developments in systems research. The second part, presents a secure logging scheme with provable security guarantees of forward integrity and crash-recovery. This scheme is based on a novel online coding scheme to meet the unique security and system constraintsof logging. We leverage spectral graph theory techniques to achieve a constant number of operations per entry encoding while still guaranteeing the recovery of all stored (n) log entries even when Sqrt(n) entries are deleted. A simple version of this scheme is already the Airbus A320, A380, and fleets from other manufacturers. The full scheme is in the pipeline for integration. The third part of the talk addresses failures in designing privacy-preserving protocols for wireless systems. Concerns about privacy in Covid-19 contact-tracing with mobile phones led to several initiatives to design privacy-preserving protocols and systems. Apple and Google teamed-up to design and embed an “Exposure Notification” protocol in iOS and Android platforms. Around the world, other groups proposed precursor designs, alternatives, and complementing solutions, including university consortia and research labs (e.g., European DP3T, MIT/LL PACT , and PACT). A common privacy goal of these solutions is to dissociate any information that might connect a smartphone owner’s device to the contact tracing information. We show that fundamental issues in the design of Bluetooth protocols (the underlying communication link) enable the linking of all users to a globallyunique identifier (BDADDR). Furthermore, the BDADDR of infected users is revealed. We demonstrate that the attack works across apps, protocol designs, and Android and iPhone devices, in various ranges and densities. While a true defense requires fundamentalredesigns of the Bluetooth stack, we developed short term mitigations for the Android stack.
- Speaker(s) : Noubir Guevara
- Meeting Link :
- Date : 14/06/2021
- Time: 1:00 PM to 2:00 PM
- Short bio :
Guevara Noubir is a Professor at Northeastern University (Boston, MA) within the Khoury College of Computer Sciences and currently serving as the Executive Director of Cybersecurity Programs, and the PI of Northeastern University’s NSA/DHS designated Center of Academic Excellence in Cybersecurity. He received the US National Science Foundation CAREER Award in 2005, Google Faculty Research Award on Privacy in 2016, Northeastern University Excellence in Research and Creative Activity Award 2018, best paper awards at ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec) 2011 and 2018, and the IEEE Conference on Communications and Network Security best paper in 2016. Dr. Noubir led Northeastern University winning teams in the DARPA Spectrum Collaboration Challenge (SC2) in 2017 , 2018 , and finalist in 2019 (winning a total of $2M). He also led Northeastern’s winning team in the DARPA Spectrum Challenge collaborative scenario in 2013. Dr. Noubir chaired the technical program committee of several security conferences including the ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec), and IEEE Conference on Communications and Network Security. He serve(d) on the editorial boards of ACM Transaction on Privacy and Security, IEEE Transactions on Mobile Computing, Elsevier Journal on Computer Networks, and IEEE Transaction on Information Forensics and Security. His research has been funded by BAE Systems, ARPA, Draper Labs, Microsoft Research, ONR, NSA, NSF, and Raytheon. Dr. Noubir holds a PhD in Computer Science from the Swiss Federal Institute of Technology in Lausanne (EPFL) and MS in CS (diplôme d'ingénieur) from Ecole Nationale Supérieure d'Informatique et de Mathématiques Appliquées de Grenoble (ENSIMAG), France. He held research and visiting positions at CSEM SA, EPFL, Eurecom, MIT, and UNL.
- Contact : karima.echihabi@um6p.ma , +2126 65 62 91 54
Seminar Series 2020
——————————————————————————————
Mohammed Amine Koulali, ENSA Oujda/UM6P, Morocco
Heterogenous Networks, a Game Theory Perspective
Speaker(s): Mohammed Amine Koulali
Date: 10/06/2020
Abstract link:
Bio link:
Recording Link : Seminar Mohammed Amine KOULALI
——————————————————————————————
EL Mahdi EL MHAMDI, EPFL, Switzerland
Robust Distributed Learning and Robust Learning Machines
Speaker(s): EL Mahdi EL MHAMDI
Date: 17/06/2020
Abstract link:
Bio link:
Recording Link: Seminar EL Mahdi EL MHAMDI
——————————————————————————————
Constantin Enea, Université de Paris, France
On the Complexity of Checking Transactional Consistency
Speaker(s): Constantin Enea
Date: 24/06/2020
Abstract link:
Bio link:
Recording Link: Seminar Constantin ENEA
——————————————————————————————
Alexandre Maurer, UM6P, Morocco
Reliable Communication in the Presence of Byzantine Attacks
Speaker(s): Alexandre Maurer
Date:
01/07/2020
Abstract link:
Bio link:
Recording Link: Seminar Alexandre MAURER
——————————————————————————————
David POINTCHEVAL, CNRS/ENS Paris, France
Provable Security and Computations on Private Data
Speaker(s): David POINTCHEVAL
Date: 8/7/2020
Abstract link:
Bio link:
Recording Link: Seminar David POINTCHEVAL
——————————————————————————————
Sidi-Mohammed Beillahi, Université de Paris, France
Behavioral Simulation for Smart Contracts
Speaker(s): Sidi-Mohammed Beillahi
Date: 15/07/2020
Abstract link:
Bio link:
Recording Link: Seminar Sidi Mohammed BEILLAHI
——————————————————————————————
Hamidou Tembine, New York University, USA
Quantification in mean-field-type game theory.
Speaker(s): Hamidou Tembine
Date: 12/10/2020
Abstract link:
Bio link:
Recording Link: Seminar Hamidou TEMBINE
——————————————————————————————
Lê Nguyên Hoang, EPFL, Switzerland
Byzantine Collaborative Learning
Speaker(s): Lê Nguyên Hoang
Date: 26/10/2020
Abstract link:
Bio link:
Recording Link: Seminar Lê Nguyên Hoang
——————————————————————————————
Abderrahim LABBI, IBM Research, Zurich, Switzerland
An overview of selected research areas at IBM Research
Speaker(s): Abderrahim LABBI
Date: 02/11/2020
Abstract link:
Bio link:
Recording Link:
——————————————————————————————
Amr El Abbadi, University of California, Santa Barbara, USA
Databases Confronting Untrusted Infrastructures
Speaker(s): Amr El Abbadi
Date: 09/11/2020
Abstract link:
Bio link:
Recording Link: Seminar Amr EL ABBADI
——————————————————————————————
Karima Echihabi, UM6P, Morocco
Big Sequence Management
Speaker(s): Karima Echihabi
Date: 16/11/20020
Abstract link:
Bio link:
Recording Link: Seminar Karima ECHIHABI
——————————————————————————————
Ghita Mezzour, UIR, Morocco
DBank: Predictive Behavioral Analysis of Android Banking Trojans
Speaker(s): Ghita Mezzour
Date: 23/11/2020
Abstract link:
Bio link:
Recording Link: Seminar Ghita MEZZOUR
——————————————————————————————
Sébastien TIXEUIL, Sorbonne Université, France
Quantifying “eventual” in eventual correctness
Speaker(s): Sébastien TIXEUIL
Date: 23/11/2020
Abstract link:
Bio link:
Recording Link: Seminar Sébastien TIXEUIL
——————————————————————————————
Seminar Series 2021
——————————————————————————————
Renee Miller, Northeastern Univ., USA
Dataset Search in Data Lakes
Speaker(s): Renee Miller
Date: 25/01/2021
Abstract & Bio link: https://drive.google.
Recording Link: Seminar Renee Miller
——————————————————————————————
Sumi Helal, University of Florida, USA
Sentience-Efficient Edge Computing for City-Scale IoT Deployments
Speaker(s): Sumi Helal
Date: 15/02/2021
Abstract & Bio link: https://drive.google.
Recording Link: Seminar Renee Miller
——————————————————————————————
Sumi Helal, University of Florida, USA
Sentience-Efficient Edge Computing for City-Scale IoT Deployments
Speaker(s): Sumi Helal
Date: 15/02/2021
Abstract & Bio link: https://drive.google.
Recording Link: Seminar Sumi HELAL
——————————————————————————————
Kaoutar El Maghraoui, IBM Research
Key Research Trends Shaping the Future of AI
Speaker(s): Kaoutar El Maghraoui
Date: 22/02/2021
Abstract & Bio link: https://drive.google.
Recording Link: Seminar Kaoutar EL MAGHRAOUI
——————————————————————————————
Hajar El-Hammouti, UM6P-CS
Drones as Aerial Base Stations: 3D Placement and Trajectory Optimization
Speaker(s): Hajar El-Hammouti
Date: 15/03/2021
Abstract & Bio link: https://drive.google.
Recording Link: Seminar Hajar ELHAMMOUTI
——————————————————————————————
Ashraf Aboulnaga, QCRI, Qatar
Databases on the Cloud — Architectural Implications
Speaker(s): Ashraf Aboulnaga
Date: 05/04/2021
Abstract & Bio link: https://docs.google.com/
Recording Link: Seminar Ashraf ABOULNAGA
——————————————————————————————
El-Houcine Bergou, UM6P-CS
TBD
Speaker(s): El-Houcine Bergou
Date: 03/05/2021
Abstract & Bio link: https://docs.google.com/
Recording Link: Seminar ELHoucine BERGOU
——————————————————————————————
Themis Palpanas, Universite de Paris*
The Day After the PhD Defense
Speaker(s): Themis Palpanas
Date: 17/05/2021
Abstract & Bio link: https://drive.google.
Recording Link: Seminar Themis PALPANAS
——————————————————————————————
John Paparizzos, Univ. of Chicago
VergeDB: A New Database for IoT and ML Tasks on Edge Devices
Speaker(s): John Paparizzos
Date: 24/05/2021
Abstract & Bio link: https://drive.google.
Recording Link: Seminar John Paparizzos
——————————————————————————————
Speaker(s):
Date:
Abstract link:
Bio link:
Recording Link:
——————————————————————————————
Speaker(s):
Date:
Abstract link:
Bio link:
Recording Link:
——————————————————————————————
Speaker(s):
Date:
Abstract link:
Bio link:
Recording Link:
Abstract: Move is a language originally designed for programming Diem (https://github.com/diem/diem)
(1) a compiler that lowers the code to bytecode,
(2) a verifier that guarantees type and memory safety even in the presence of untrusted code,and
(3) a prover capable of verifying functional correctness of compiled bytecode against deep safety specifications.
This talk will provide an overview of the language, the bytecode verifier, and the prover. If time permits, I will speculate on new applications for Move.
- Speaker(s) : Shaz Qadeer
- Meeting Link :
- Date : 21/06/2021
- Time: 1:00 PM to 2:00 PM
- Short bio : Shaz Qadeer works at Facebook. In addition to the work described in the abstract, he also works on Civl, a reifier for concurrent programs (https://civl-verifier.github.
io/). His research interests span all aspects of development of robust and secure software. - Contact : karima.echihabi@um6p.ma , +2126 65 62 91 54