PhD student in Computer Engineering - Cybersecurity (Trusted Computing) at Politecnico di Torino.
-
Politecnico di Torino
- https://www.linkedin.com/in/enrico-bravi-370b59198/
- https://cinghiogithub.github.io/
Highlights
- Pro
CHERIoT Platform
CHERIoT-Platform
The CHERIoT Platform is a hardware-software system for secure embedded devices
Open Source Security Foundation (OpenSSF)
ossf
OpenSSF is a community of software developers and security engineers who are working together to secure open source software for the greater public good.
San Francisco, CA
Stefano Garzarella
stefano-garzarella
Linux's AF_VSOCK maintainer. rust-vmm and COCONUT SVSM co-maintainer. Working on open source projects related to virtualization, virtio, confidential VM.
Red Hat Pisa, Italy
Mauro Carvalho Chehab
mchehab
Upstream maintainer of the Linux Kernel Media subshstem and reviewer for EDAC subsystem. Also maintains Kaffeine media player and several Fedora packages.
Huawei
Multikernel Technologies, Inc.
multikernel
Multikernel Technologies delivers the next generation of cloud operating systems with unprecedented performance.
San Jose, California
Confidential Computing API
cc-api
Reduce the complexity of various cloud frameworks and TEE engines
United States of America
The Linux Foundation
linuxfoundation
The Linux Foundation is a non-profit consortium dedicated to fostering the growth of Linux.
GrapheneOS
GrapheneOS
Security and privacy focused mobile OS with Android app compatibility. We focus on developing substantial privacy and security improvements.
Toronto, Ontario, Canada
Stephen Smalley
stephensmalley
Lead developer of SELinux and SE for Android,
R&D into platform security architectures & mechanisms
@NationalSecurityAgency
Aleksa Sarai
cyphar
日本語を勉強してる。Рођен у Панчево. "Designated communications provider" under §317C(6) of the Telecommunications Act 1997. Founding Engineer @amutable-systems.
@amutable-systems Oceania (circa 1984)
Redox OS
redox-os
Redox OS is a microkernel-based, complete and general-purpose operating system written in Rust created in 2015
The Linux Userspace API Group
uapi-group
The userspace API ("uapi") group is a community for people with an interest in innovating how we build, deploy, and run modern Linux operating systems.
Luca Mannella
LucaMannella
IoT & Cybersecurity Post Doc Researcher
|| Teaching Assistant
@SMILIES-PoliTo at Politecnico di Torino (@PoliTo) Turin, Italy
Hypervisor-Enforced Kernel Integrity (Heki)
heki-linux
Proof-of-concept that implements new KVM features (extended page tracking, MBEC support, CR pinning) and defines a new API to protect guest VMs.
The Algorithms
TheAlgorithms
Open Source resource for learning Data Structures & Algorithms and their implementation in any Programming Language
India
PreviousNext