-
Brilliant talk from
@GernotHeiser on the applicability of the#seL4 operating system to realise the high-trust computing on-board vehicles pic.twitter.com/9T7y6WSyKB
-
We're hiring! Multiple
#seL4 Proof Engineers. If you're into FP and like a challenge, apply! https://ssrg.nicta.com.au/jobs/proof-engineers2015 …pic.twitter.com/mb4GbGyXbG
-
We're also looking for an FM researcher to join our
#seL4 team in Sydney! pic.twitter.com/CCEAprzG7f
-
We're starting an
#sel4 stack exchange. Support here: https://area51.stackexchange.com/proposals/120611/sel4?referrer=oNjnX5y9POxoX0Q4ck0dRg2 … -
Can we prove that an OS kernel prevents timing channels?
@GernotHeiser,@lsf37 and I think so, for#seL4. We are currently recruiting two postdocs, at UNSW and Uni Melbourne. Applications for Uni Melbourne close Aug 30. Come work with us! http://jobs.unimelb.edu.au/caw/en/job/900474/research-fellow-in-verified-operating-system-security … -
Announcing the
#sel4 Foundation at the seL4 Summit pic.twitter.com/JNTzQTvHes
-
Grenoble au
#SEL4 Ggs everyone @Nonocolors@yamiulqui@Redpavul@BigMamaEditing@desmondlm9@Virgile_Kr etcpic.twitter.com/C7nIfu5Gbp
-
We're hiring again! Have fun, live in Sydney, and prove theorems about
#seL4 for a living! 3 open positions for proof engineers, entry-level and experienced. https://ts.data61.csiro.au/jobs/proof-engineers-2018.pml …pic.twitter.com/qqJupvd7D6
-
@GernotHeiser just gave an update of the state of#seL4 in the microkernel devroom at#FOSDEM. Very interesting is Cogent, a purely functional language for systems programming: http://ts.data61.csiro.au/projects/TS/cogent.pml … -
-
Immensely honoured to have been involved in this work, and it being recognised for its long-term impact
#sel4 https://twitter.com/bipartite/status/1189348535109672962 …
-
I’ve just won a sizeable grant for verified time protection and am looking for postdocs with a formal methods background and interest in modelling/verifying OS and hardware properties. Will be on
#seL4, of course -
-
I need 31 more followers to get an
#sel4#stackexchange off the ground. Join us! Suggest questions! Vote em up! Go! https://area51.stackexchange.com/proposals/120611/sel4?referrer=oNjnX5y9POxoX0Q4ck0dRg2 … -
Very proud to have initiated the
#CDDC project at@data61news, which I jointly lead with Kevin Elphinstone http://www.theaustralian.com.au/business/technology/data-61-unveils-ultra-secure-platform/news-story/cd6bdd315a2b2d561ff8359dfae37d2d …#seL4 -
I am seeking postdocs and possible students for two projects on verified information flow security: 1. verifying concurrent programs on weak memory (for 12 months); 2. verified timing channel protection in
#seL4 (for 2--3 years). Please spread the word or get in touch! -
I’m looking for a PhD student with strong systems skills for developing a secure, Android-based IoT OS running on
#seL4 https://ts.data61.csiro.au/students/phd/ios-android.pml … -
“By the time I have a pacemaker, if I ever need one, I want it to run seL4.” –
@GernotHeiser#seL4 -
Neat work by
@redshiftzero. Looks like an ideal use case for#seL4, which I’ve wondered for years about using as a foundation for secure drop style systems https://twitter.com/leakissner/status/1222322531958308864 … -
In a few moments at the
#RISCVSummit,@DornerWorks will present their#opensource#seL4 microkernel running on@Microchip's Mi-V in Antmicro's open simulation faremwork@renodeio for highly secure@risc_v systems: https://tmt.knect365.com/risc-v-summit/agenda/3/#securityverification_sel4-on-risc-v-renode …pic.twitter.com/nULRaN0MFm
Č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.