No public Arm CCA hardware? No problem.
Learn how #OpenCCA makes CCA research possible on $250 boards, driving open innovation in confidential computing. #CCSummit#ArmCCA@opaquesys@andrinbertschi https://t.co/3h63i156T1
We will be presenting two papers today at @USENIXSecurity Track 3 Salon E @ 1:30pm
@SuprajaSridhara Acai connects Arm CCA confidential VMs to accelerators (eg Nvidia H100) efficiently
@BenedictSchluet Heckler, another Ahoi attack, breaks AMD SEV-SNP and Intel TDX with interrupts
WeSee: Using Malicious #VC Interrupts to Break AMD SEV-SNP got the Distinguished Paper award at IEEE #SP24!
Blog & artifacts:
https://t.co/DelKis7I4B
Our talk is on May 22, Wed in Track 2, Ballroom 5 @ 1:25 PM #ahoi
Congrats @BenedictSchluet@SuprajaSridhara@andrinbertschi
Computer scientists at ETH Zurich have discovered a gap in the latest security mechanisms used by AMD and Intel chips. This affects major cloud providers including AWS and Google.
https://t.co/0RMOq0z5lK
#CloudSecurity#CloudServices
After more than 6 months of hard work, we are thrilled to disclose #AhoiAttacks that break confidential computing offered by AMD SEV-SNP and Intel TDX with malicious interrupts.
https://t.co/FtDkvnk8m3
Can a malicious cloud provider send bad notifications to break confidential VMs?
Disclosing #AhoiAttacks that break confidential computing offered by AMD SEV-SNP and Intel TDX by abusing interrupt delivery.
Check our @USENIXSecurity & @IEEESSP papers.
https://t.co/wxr7rBWX7U
Had a great time presenting our latest work, Acai, at the ZTHA workshop.
Acai enhances Arm CCA, enabling confidential VMs to securely use accelerators like GPUs & FPGAs.
Check our Usenix Security'24 paper: https://t.co/94k83zw336
Acai is open source: https://t.co/AOxBpZTHl8
Reach out to us if you are interested! My focus area will be on using automated testing techniques to find various kinds of bugs in data-centric software, but I'm interested also in many related areas.
postcards supports new Swiss Post endpoints and new swissid authentication (code+code_verifier), version 2.0 released to PyPI. thanks to everyone involved🇨🇭📮🚀https://t.co/7fdEmhuAoZ
The screen capture of my thesis presentation is online. It summarizes the results of an experimental Truffle-hosted language runtime for the PHP programming language. @graalvm
https://t.co/nCEc3whwpm
Congratulations @andrinbertschi for your outstanding work on realizing a Truffle-based implementation of PHP and your great thesis presentation! The project is online at GitHub: https://t.co/rd85o8VJyp
[3/3] Working in a team and tackling design issues that differ from the traditional monolithic arrangements of Unix/Linux was great fun! �� 🚀
Check out Barrelfish if you are interested in OS design and implementation https://t.co/o1GoHmZNr6
[1/3] Over the last 4 months, I worked with the great @liblor and two other colleagues on a minimal yet fairly complete, multi-core OS based on Barrelfish, an exo-kernel research OS at ETHZ. We implemented key design issues such as memory management with paging, ...
[2/3] inter-core synchronization, inter-process communication, name services, filesystem, shell, and networking support. Our fork runs on a ARM-based @Toradex Aster Carrier Board with the iMX8X module running 4 Cortex-A35.