barbie's notes
barbie's notes
my not-professional-at-all blog
start
oldies
/me
IRL
credits
RSS
2018
2018-05-23
PROLOG - Part 7
2018-04-14
PROLOG - Part 6
2018-04-09
PROLOG - Part 5
2018-02-24
PROLOG - Part 4
2018-02-08
PROLOG - Part 3
2018-02-03
PROLOG - Part 2
2018-02-01
PROLOG - Part 1
Previous
1
2
Tags
prolog
low level
platform
SMM
haskell
firmware
binary analysis
reversing
hardware
smt solvers
malware
talks
research
science
misc
bios
Recent
How Do I Do Research?
SMMMmmmm - when root is not enough
Learning about the BIOS
Logic & binaries
Firmware 101 - How to get the code
Hardware 101 - I have this $device... and now?
/me on reverse engineering
Tinkering the memory
Prolog vs Haskell
PROLOG - Part 8