Have a look at the seL4 summit Program! We have an amazing line-up of cool seL4 work, with a combination of technical research and development, experience reports of seL4 in the field, technical discussions and Birds-of-a-feather sessions, as well as a whole day of seL4 bootcamp with tutorials and training.
Stay tuned for registration information, and see you in Munich in October!
The seL4 Foundation is pleased to welcome LatticeX!
LatticeX Foundation cultivates academic research, technology advancements and industrial applications in the fields that foster the development of LatticeX ecosystem.
LatticeX is the vision of large-scale distributed network supporting the expansive economy activities and broader business applications where users can recognize the sovereignty and privacy of their own data, and leverage the ecosystem of sophisticated computing technologies to collaboratively unearth the value of data and benefit from data-value transactions throughout.
Yuning Liang, LatticeX Foundation Security Advisor said: "We are so glad to join seL4 foundation. Hopefully, we can specialise seL4 technology into the web 3.0 domain from cross chain bridge node OS to hardware wallet OS for improving their security and stability."
Dr. Birgit Brecknell
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:firstname.lastname@example.org>
seL4 Foundation, birgit(a)sel4.systems<mailto:email@example.com>
0433 880 571