|
Gernot Heiser
@
GernotHeiser
sometimes in Sydney
|
|
Microkernel dude
|
|
|
2.042
Tweetovi
|
49
Pratim
|
1.238
Osobe koje vas prate
|
| Tweetovi |
|
Gernot Heiser
@GernotHeiser
|
29. sij |
|
‘Embarrassingly slow’: Australia’s broadband internet ranked fourth slowest in OECD – well done, @TurnbullMalcolm! thenewdaily.com.au/life/tech/2020…
|
||
|
|
||
| Gernot Heiser proslijedio/la je tweet | ||
|
CPS-IoT Week
@CPS_IoT
|
28. sij |
|
Are you from non US institutions and would love to be in Sydney for CPS-IoT Week 2020? We're pleased to announce Student Travel Grants for Non-US Institutions. cse.unsw.edu.au/~cpsiot/cpswee… #CPSIoTWeek2020
|
||
|
|
||
| Gernot Heiser proslijedio/la je tweet | ||
|
aquigley
@aquigley
|
23. sij |
|
I’m looking forward to becoming the head of school in Computer Science and Engineeering in @UNSW Sydney Australia. twitter.com/UNSWEngineerin…
|
||
|
|
||
| Gernot Heiser proslijedio/la je tweet | ||
|
Next Day Video
@nextdayvideo
|
16. sij |
|
|
||
|
|
||
|
Gernot Heiser
@GernotHeiser
|
17. sij |
|
Returning home from #LCA2020 the smell of smoke has been replaced by the smell of extinguished fire. Grateful for the rain!
|
||
|
|
||
|
Gernot Heiser
@GernotHeiser
|
19. pro |
|
You can't get security from running on something insecure
|
||
|
|
||
|
Gernot Heiser
@GernotHeiser
|
19. pro |
|
I’m looking for a PhD student with strong systems skills for developing a secure, Android-based IoT OS running on #seL4 ts.data61.csiro.au/students/phd/i…
|
||
|
|
||
|
Gernot Heiser
@GernotHeiser
|
13. pro |
|
Agree with s/hardware/software/g. Software systems tend to be even more complex than hardware, less regular, and unit tests achieve even less
|
||
|
|
||
|
Gernot Heiser
@GernotHeiser
|
13. pro |
|
It's not just about "trivial detail", it that was all, formal methods wouldn't be worth much. It's corner cases, and unforeseen interaction of features that break systems, and only formal methods can prevent this
|
||
|
|
||
|
Gernot Heiser
@GernotHeiser
|
12. pro |
|
Tutorial on running #seL4 on the Renode simulator, presented by DornerWorks at #RISCVSummit pic.twitter.com/kVeo6XwjDq
|
||
|
|
||
|
Gernot Heiser
@GernotHeiser
|
12. pro |
|
#sel4 posters at#RISCVSUMMIT, presented by Critical Technologies Inc pic.twitter.com/bYzRLoXRnP
|
||
|
|
||
|
Gernot Heiser
@GernotHeiser
|
12. pro |
|
It's mathematically proving program correctness
|
||
|
|
||
|
Gernot Heiser
@GernotHeiser
|
9. pro |
|
What does #seL4’s license imply? tl;dr nothing you should have to worry about; it won’t infect your valuable IP and in most cases you shouldn’t even touch the GPLed code microkerneldude.wordpress.com/2019/12/09/wha…
|
||
|
|
||
|
Gernot Heiser
@GernotHeiser
|
8. pro |
|
Of course, any testing is also against a spec, but an informal and usually incomplete one. With formal specs incompleteness is easy to see and it's possible to prove soundness. Also, formal verification forced you to be explicit about your assumptions
|
||
|
|
||
|
Gernot Heiser
@GernotHeiser
|
7. pro |
|
if you're identifying equivalence classes you're already using formal methods!
|
||
|
|
||
|
Gernot Heiser
@GernotHeiser
|
7. pro |
|
To quote Dijkstra: Testing can only show the presence of bugs, never their absence. 100% coverage only shows all code is exercised, but not all possible code paths – that would in general be infeasible due to state explosion.
|
||
|
|
||
|
Gernot Heiser
@GernotHeiser
|
6. pro |
|
If you're into RISC-V definitely
|
||
|
|
||
|
Gernot Heiser
@GernotHeiser
|
5. pro |
|
Are you going to the #RISCVSUMMIT in San Jose next week? There’ll be a number of seL4 activities: My talk "seL4 on RISC-V: Verified OS for True Security” Wed 1.50pm, the DornerWorks tutorial "seL4 on RISC-V Renode”, and a poster from the seL4-US CoE
|
||
|
|
||
|
Gernot Heiser
@GernotHeiser
|
5. pro |
|
Entrepreneur Ada Guan, CEO of Rich Data Corporation richdataco.com was today’s @UNSW CSE Graduation speaker. Turns out she did my Advanced OS course >20 years ago. AOS, the training ground of the IT elite @richdataco pic.twitter.com/jC8b8KOSE7
|
||
|
|
||
| Gernot Heiser proslijedio/la je tweet | ||
|
VUSec
@vu5ec
|
4. pro |
|
We compiled a long list of Threats to Validity/Relevance in Security Research for our students, building on common sense & our papers on malware experiments and on benchmarking (and inspired by @GernotHeiser's excellent blog). Perhaps useful for others?
bit.ly/2XAUtmS
|
||
|
|
||