Bit Curves je proslijedio/a tweet korisnika/ceAdrian Rueegsegger
Some great progress has been made on RISC-V processor security recently. See, e.g. RWC 2019: https://twitter.com/bitcurves/status/1106255705617690624?s=21 …https://twitter.com/Kensan42/status/1110612910999511041 …
Bit Curves je dodan/na,
Adrian Rueegsegger @Kensan42
Looks like Google is looking for people to do a formally verified RISC-V CPU incl. a verified hypervisor on top:
- Implement formal specification of RISC-V/CHERI in a prototype.
- Create a verified hypervisor and connect it to the RISC-V spec.
https://careers.google.com/jobs/results/129185715293430470-verifiable-hardware-researcher/ …
18:35 - 26. ožu 2019.
0 replies
7 proslijeđenih tweetova
16 korisnika označava da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.