Hiroki Chen
hiroki-chen
CS PhD @ IUB
"Algorithms are the computational content of proofs." (Robert Harper)
Toronto, ON
Xynnn_
Xynnn007
An idealist. Working on Confidential Computing, Supply Chain Security and Cryptography
Alibaba Cloud (Aliyun), Alibaba Group Hangzhou
Floorp
Floorp-Projects
This is the source code for the Floorp browser product line. Licensed under the Mozilla Public License 2.0, unless otherwise noted.
Japan
Edgeless Systems
edgelesssys
Building super-secure and easy-to-use software for Confidential Computing
Bochum, Germany
Kun Lai
imlk0
An undergraduate from BUPT. Former intern of @FydeOS and @bytedance. Is now at IIE,CAS for graduate studies.
University of Chinese Academy of Sciences Beijing, China
John Regehr
regehr
CS professor at the University of Utah
University of Utah Salt Lake City, UT, USA
Yori Fang
fangying
OS virtuazlization developer, working on KVM and QEMU and dedicated to enable Cloud Computing for datacenters.
Bytedance Hangzhou,China
Jon Gjengset
jonhoo
Rust educational streamer. At @helsing-ai. Previously at AWS. A fan of making things secure, fast, scalable, and well-documented.
@helsing-ai Oslo, Norway
p4nda
ret2p4nda
PWN | Security Research | 天枢(Dubhe) | Tencent Security Xuanwu Lab
Beijing University of Posts and Telecommunications BeiJing
Sora Morimoto
smorimoto
@ocaml @tc39 Cambridge, UK / Tokyo, Japan
PreviousNext