|
Dokyung Song
@
dokyungsong
Irvine, CA
|
|
Ph.D. Candidate at @UCIrvine
|
|
|
922
Tweetovi
|
568
Pratim
|
131
Osobe koje vas prate
|
| Tweetovi |
| Dokyung Song proslijedio/la je tweet | ||
|
|
Andreas Zeller
@AndreasZeller
|
30. lis 2018. |
|
Today, we‘re announcing "Generating Software Tests", a textbook on test generation and fuzzing. New chapters every week (mutations, grammars, search-based + symbolic testing...), with code you can run and edit right in your browser. Check it out at fuzzingbook.org ! pic.twitter.com/140RG0zihj
|
||
|
|
||
| Dokyung Song proslijedio/la je tweet | ||
|
|
Patrick Walton
@pcwalton
|
27. lis 2018. |
|
Hot take: The increasing tendency of C compilers to aggressively exploit undefined behavior has been bad for security, but not for the reason you'd think.
It's bad because it means C keeps getting faster, so people keep writing C code.
|
||
|
|
||
| Dokyung Song proslijedio/la je tweet | ||
|
Thuan Pham
@ThuanpvNus
|
5. lis 2018. |
|
"Evaluating Fuzz Testing" raises the bar for #fuzzing papers. It could significantly increase the cost of conducting fuzzing experiments :) Suppose a new fuzzer has 5 settings, 5 fuzzers to compare, ~150 subjects (CGC+LAVA+others), 30 runs each, 24hrs timeout => 45,000 core-days! twitter.com/trentdotexe/st…
|
||
|
|
||
| Dokyung Song proslijedio/la je tweet | ||
|
John Regehr
@johnregehr
|
11. ruj 2018. |
|
new paper!
"Reconciling High-Level Optimizations and Low-Level Code in LLVM"
cs.utah.edu/~regehr/oopsla…
sections 1-3 contain a lot of solid background material about how the compiler thinks about pointers
|
||
|
|
||
| Dokyung Song proslijedio/la je tweet | ||
|
Darren L Dahly
@statsepi
|
31. kol 2018. |
|
Tip for Postgrad Research Students - Don't just ask your supervisor "what to do."
Instead:
1) Research the options
2) Outline the pros and cons
3) Make your own decision
3) THEN ask for your supervisor's opinion
|
||
|
|
||
| Dokyung Song proslijedio/la je tweet | ||
|
Dmitry Vyukov
@dvyukov
|
27. kol 2018. |
|
syzbot and the tale of million kernel bugs
goo.gl/kn42X6
Slides from my @LinuxSecSummit talk
Covers #linux kernel bugs disaster, syzkaller, syzbot, KASAN, KMSAN, KTSAN, kernel testing.
|
||
|
|
||
| Dokyung Song proslijedio/la je tweet | ||
|
John Regehr
@johnregehr
|
22. srp 2018. |
|
slides: "Fuzzing and how to evaluate it" twitter.com/moyix/status/1…
|
||
|
|
||
| Dokyung Song proslijedio/la je tweet | ||
|
🦀 Ivan 🐘🐍💎🐹 Enderlin 🕸
@mnt_io
|
19. srp 2018. |
|
Auditing popular Rust crates: how a one-line unsafe has nearly ruined everything, medium.com/@shnatsel/audi….
That’s why open source is superior to close source. And we need more people like Sergey "Shnatsel" Davidoff!
#rustlang #security #vulnerability #fuzzing #test
|
||
|
|
||
| Dokyung Song proslijedio/la je tweet | ||
|
John Regehr
@johnregehr
|
16. srp 2018. |
|
Troubling Trends in Machine Learning Scholarship
arxiv.org/abs/1807.03341
with only the tiniest bit of imagination, one can apply these criticisms to most of academic computer science, especially "failure to identify the sources of empirical gains"
|
||
|
|
||
| Dokyung Song proslijedio/la je tweet | ||
|
Dmitriy Evdokimov
@evdokimovds
|
10. srp 2018. |
|
Interesting slides from #ISSISP18:
1) Symbolic Execution for Vulnerability Detection cs.anu.edu.au/cybersec/issis…
2) Symbolic Execution for Vulnerability Repair cs.anu.edu.au/cybersec/issis…
3) Evaluating Fuzz Testing cs.anu.edu.au/cybersec/issis…
|
||
|
|
||
| Dokyung Song proslijedio/la je tweet | ||
|
Dmitry Vyukov
@dvyukov
|
2. srp 2018. |
|
Speaking at #LinuxSecuritySummit about Syzbot and the Tale of Thousand Kernel Bugs
sched.co/FLYI
@kees_cook @a13xp0p0v see you there!
|
||
|
|
||
| Dokyung Song proslijedio/la je tweet | ||
|
John Regehr
@johnregehr
|
20. svi 2018. |
|
|
||
| Dokyung Song proslijedio/la je tweet | ||
|
caroline
@hatwell
|
15. tra 2018. |
|
i feel *extremely* seen pic.twitter.com/lExKQj0Syn
|
||
|
|
||
| Dokyung Song proslijedio/la je tweet | ||
|
Farbod Saraf @ 🇧🇪 for SustainOSS / FOSDEM
@farbodsaraf
|
24. velj 2018. |
|
Advice to new managers
1 earn trust by giving it
2 hire for EQ, train for IQ
3 eat lunch with your team
4 tell people their work matters
5 be a player-coach
6 feedback in private, praise in public
7 in victory, lead from back
8 in crisis, lead from front
9 walk around and help
|
||
|
|
||
| Dokyung Song proslijedio/la je tweet | ||
|
Kirk Bater
@KirkBater
|
17. sij 2018. |
|
This image is a TCP/IP Joke. This tweet is a UDP joke. I don't care if you get it. pic.twitter.com/GLy8QadqOC
|
||
|
|
||
| Dokyung Song proslijedio/la je tweet | ||
|
Kees Cook
@kees_cook
|
4. sij 2018. |
|
An additional benefit of Linux's Page Table Isolation features is that it emulates SMEP for pre-SMEP hardware. Only a bit more work to emulate SMAP too! outflux.net/blog/archives/…
|
||
|
|
||
| Dokyung Song proslijedio/la je tweet | ||
|
Nigel Warburton
@philosophybites
|
24. pro 2017. |
|
Philosophy is always a conversation... @aeonmag aeon.co/essays/without…
|
||
|
|
||
| Dokyung Song proslijedio/la je tweet | ||
|
Lukas Stefanko
@LukasStefanko
|
3. pro 2017. |
|
Trojan horse escaping sandbox through security hole pic.twitter.com/2CCMS1volb
|
||
|
|
||
| Dokyung Song proslijedio/la je tweet | ||
|
Chrome
@googlechrome
|
4. stu 2016. |
|
Accidentally closed a tab on Chrome desktop? Get it back quickly with Ctrl/Cmd + Shift + T! #Chrometips pic.twitter.com/mNDvoldCNy
|
||
|
|
||