14 citations · 23 across the 11 of their papers we have counts for
12 papers
SecV: Secure Code Partitioning via Multi-Language Secure Values
Peterson Yuhala, Pascal Felber, Hugo Guiroux +4
Trusted execution environments like Intel SGX provide \emph{enclaves}, which offer strong security guarantees for applications. Running entire applications inside enclaves is possi…
Montsalvat: Partitioning Java Applications to Minimize the TCB in Intel SGX
Peterson Yuhala, Jämes Ménétrey, Pascal Felber +5
The popularity of the Java programming language has led to its wide adoption in cloud computing infrastructures. However, Java applications running in untrusted clouds are vulnerab…
SGX Switchless Calls Made Configless
Peterson Yuhala, Michael Paper, Timothée Zerbib +3
Intel's software guard extensions (SGX) provide hardware enclaves to guarantee confidentiality and integrity for sensitive code and data. However, systems leveraging such security…
Zen: LSTM-based generation of individual spatiotemporal cellular traffic with interactions
Anne Josiane Kouam, Aline Carneiro Viana, Alain Tchana
Domain-wide recognized by their high value in human presence and activity studies, cellular network datasets (i.e., Charging Data Records, named CdRs), however, present accessibili…
rgpdOS: GDPR Enforcement By The Operating System
Alain Tchana, Raphael Colin, Adrien Le Berre +4
The General Data Protection Regulation (GDPR) forces IT companies to comply with a number of principles when dealing with European citizens' personal data. Non-compliant companies…
Virtual Disk Snapshot Management at Scale
Kevin Nguetchouang, Theophile Dubuc, Stella Bitchebe +2
Contrary to the other resources such as CPU, memory, and network, for which virtualization is efficiently achieved through direct access, disk virtualization is peculiar. In this p…
Out of Hypervisor (OoH): When Nested Virtualization Becomes Practical
Stella Bitchebe, Alain Tchana
This paper introduces Out of Hypervisor (OoH), a new research axis close to nested virtualization. Instead of emulating a full virtual hardware inside a VM to support a hypervisor,…
Plinius: Secure and Persistent Machine Learning Model Training
Peterson Yuhala, Pascal Felber, Valerio Schiavoni +1
With the increasing popularity of cloud based machine learning (ML) techniques there comes a need for privacy and integrity guarantees for ML data. In addition, the significant sca…
Network in Disaggregated Datacenters
Brice Ekane, Yohan Pipereau, Boris Teabe +4
Nowadays, datacenters lean on a computer-centric approach based on monolithic servers which include all necessary hardware resources (mainly CPU, RAM, network and disks) to run app…
Memory virtualization in virtualized systems: segmentation is better than paging
Boris Teabe, Peterson Yuhala, Alain Tchana +3
The utilization of paging for virtual machine (VM) memory management is the root cause of memory virtualization overhead. This paper shows that paging is not necessary in the hyper…
Intel Page Modification Logging, a hardware virtualization feature: study and improvement for virtual machine working set estimation
Stella Bitchebe, Djob Mvondo, Alain Tchana +2
Intel Page Modification Logging (PML) is a novel hardware feature for tracking virtual machine (VM) accessed memory pages. This task is essential in today's data centers since it a…
Efficient, Dynamic Multi-tenant Edge Computation in EdgeOS
Yuxin Ren, Vlad Nitu, Guyue Liu +4
In the future, computing will be immersed in the world around us -- from augmented reality to autonomous vehicles to the Internet of Things. Many of these smart devices will offer…