Breaking the x86 Instruction Set

  Рет қаралды 363,203

Black Hat

Black Hat

Күн бұрын

Пікірлер: 617
@ppp72957
@ppp72957 7 жыл бұрын
This guy is impressively good at what he does.
@Reth_Hard
@Reth_Hard 7 жыл бұрын
Most of us was suspecting processors to have some dirty instructions hidden inside them, but this is certainly not an easy task to search for them. Sincerely, hats off to this guy!
@marshalcraft
@marshalcraft 7 жыл бұрын
Not really, well known intel has entire independent risc processor for the purpose of remote monitoring, even when battery is off your intel pc can access microphone and listen to you talk.
@FlamingPhoenix40
@FlamingPhoenix40 7 жыл бұрын
marshalcraft how? If your battery is off then the microphone won’t work...
@nfcopier1
@nfcopier1 7 жыл бұрын
The battery may not be completely off. If the motherboard was designed to provide power to the microphone in the "off" state and provide enough power to the CPU to run the necessary instructions, remote monitoring may be possible. The only way to prevent it would be to remove the battery completely. However, monitoring may not be feasible. I expect the process would have to dump data to a hard drive, which would require a lot of power.
@bryede
@bryede 7 жыл бұрын
Well, we occasionally find out that "secure" products have back doors and we know that the gov't frequently approaches tech companies requesting spy features, so we shouldn't be surprised if hidden ring bypass instructions turn up one day. I'm sure Intel was well compensated for them if they exist.
@Essometer
@Essometer 7 жыл бұрын
Oh man, that page fault analysis is genius.
@Essometer
@Essometer 7 жыл бұрын
Guy Smith Intresting, it's the first time hearing it for me though. Just thought it such an creative way to test for instructions.
@joshuakuehn
@joshuakuehn Жыл бұрын
​@@Essometerwhy do the two of you have the same pfp
@tspshilt
@tspshilt 7 жыл бұрын
The use of No Execute on memory to find instruction length made me go "oh man" out loud. Genius.
@fss1704
@fss1704 6 жыл бұрын
nop nop
@rabebonskyjoe5193
@rabebonskyjoe5193 3 жыл бұрын
and then AMD's #ud before #pf "bug" to circumvent this
@JDManring
@JDManring 7 жыл бұрын
I am jealous. Not only is this guy much more capable of mentally processing this complex information than I am, he's also incredibly good at presenting it!
@UPsideDOWNworld321
@UPsideDOWNworld321 5 жыл бұрын
thats why he is speaking!! dum dum dum dum duummmmmmmmmmmmmmmmmmmmmmmmm
@zesjerome7189
@zesjerome7189 5 жыл бұрын
no such thing as jealoux or capabx or good or not, cepu, do, say, think any nmw anda ny be perfect
@tjij-mbai
@tjij-mbai 5 жыл бұрын
He's a Genius.
@BryanChance
@BryanChance 3 жыл бұрын
He makes it easy to understand that I though I was good. :-)
@niks660097
@niks660097 3 жыл бұрын
cause of hard work and countless hours spent hacking/reverse-engineering...
@wildwest1832
@wildwest1832 7 жыл бұрын
its kind of scary how good some of these guys are at figuring these things out
@lbgstzockt8493
@lbgstzockt8493 Жыл бұрын
And this is just "some guy". Think of what a team of people like him with an evil motive could do.
@vincentschumann937
@vincentschumann937 7 ай бұрын
@@lbgstzockt8493 especially if given a bottomles budget
@sangamo38
@sangamo38 5 жыл бұрын
My god that page fault technique is so awesome. So clever
@TheOz1999
@TheOz1999 4 жыл бұрын
With Intel's ZombieLoad, PlunderVolt, Meltdown and more severe vulnerabilities these days, this video is more relevant than ever
@wiipronhi
@wiipronhi 7 жыл бұрын
they should crowdsource the undocumented instructions the same way that pass mark gets benchmarks. Everyone uploads the results and a website shows a nice breakdown of what instruction run on what.
@user-i3pqb2lw54
@user-i3pqb2lw54 7 жыл бұрын
I feel like already running sandsifter to be one of the first that uploads to that site when it inevitably starts existing
@JoshBeach
@JoshBeach 7 жыл бұрын
github.com/rigred/sandsifter-tests
@fss1704
@fss1704 6 жыл бұрын
+Josh Beach damn cool, i'd like to run this shit on the brazilian voting machines using cyrix..
@baileyharrison1030
@baileyharrison1030 5 жыл бұрын
wiipronhi but if they do stumble across a secret instruction there’s a good chance it will mess up the OS operation. And an emulator wouldn’t have the instructions programmed into it anyway.
@axeman2638
@axeman2638 7 жыл бұрын
I just keep thinking how poor Terry Davis has wasted all his time. He needs to make his own silicon as well as his own compiler and OS.
@fss1704
@fss1704 6 жыл бұрын
damn i'm in, atleast we got risc v
@alexwolf4604
@alexwolf4604 5 жыл бұрын
RIP
@GBGSK
@GBGSK 5 жыл бұрын
May his soul find rest and find the peace he deserves.. RIP dear Terry! ☹
@tsnp423
@tsnp423 5 жыл бұрын
And all this in his own universe :)
@GBGSK
@GBGSK 5 жыл бұрын
@@tsnp423 no not Universe.. the correct word would be *Reality*
@rogerflores9470
@rogerflores9470 7 жыл бұрын
A brilliant talk showing persistence and out of the box thinking. As pointed out, the time is well past for trusting the docs of closed hardware designs! I need to go now and think about working the ideas into my disasm and emulator.
@xoloser3
@xoloser3 7 жыл бұрын
Thanks for the talk! You used such fascinating methodology to carry out this project. Definitely learned a lot, not just about hidden instructions but also software searching techniques.
@ehsnils
@ehsnils 7 жыл бұрын
Really good. Having done some Z80 programming once upon a time I know that some undocumented instructions are merely side effects of the microcode and not necessarily intentional. But the point is to figure out the instructions that really are intentional and undocumented. Unintentional undocumented instructions could of course be fun too if you want to do some "smart" programming, but don't expect them to work in the next generation of processors.
@reversEngiener
@reversEngiener 7 жыл бұрын
Wow. This just shows me I need to brush up on my awful, awful assembly skills. Hats off to Christopher Domas.
@desmond-hawkins
@desmond-hawkins 3 жыл бұрын
It looks like the "halt and catch fire" instruction he describes starting at 38:46 was never described publicly, at least that I could find. As he explains in this talk there was no time for vendors to address the issue under responsible disclosure so he couldn't give all the details at Black Hat 2017, but I couldn't find any reference to publications in the following months as he said would happen. There's a question about it on the Reverse Engineering StackOverflow site, but no one seems to know. I'm not particularly looking for a way to execute this instruction, but I'm curious to know if any mitigation was possible for CPUs that had already shipped. If anyone knows and has a reference this would be much appreciated.
@memerichment
@memerichment 3 жыл бұрын
Thanks for following this up! I was extremely curious as well.
@javaguru7141
@javaguru7141 3 жыл бұрын
Also hoping to hear more about it eventually. It's been a while.
@BruceDuncan
@BruceDuncan Жыл бұрын
Where are you, Domas? What did you learn?!
@jemakrol
@jemakrol 3 жыл бұрын
This is so well done in every aspect. There are smart people and there are people like this, that goes beyond that. Well performed presentation. As of 2021 I find surprisingly little follow up info on that Halt and Catch Fire instruction - dunno if that's me sucking in searching or that the disclosure still apply.
@Donaldo
@Donaldo 7 жыл бұрын
This talk takes a while to get interesting but it's worth it
@qualityedits3083
@qualityedits3083 2 жыл бұрын
what a talk! phenomenally creative, important, and useful. i understood almost all of it despite knowing next to nothing about x86, barely anything about process/OS security schemes and how their traps/exceptions are passed around, what the rings mean, and just generally being very new to OS and hardware stuff.
@tom7
@tom7 7 жыл бұрын
Neat talk!
@alexst-laurent5272
@alexst-laurent5272 7 жыл бұрын
Oh hey! It's Tom! Love your learnfun and playfun videos and programs, it's really fun editing the code and seeing if I can optimize the behavior, and it's also just plain hilarious to run them on hacked roms, especially speedhacked ones. Have you considered doing more work on them?
@ruthlessadmin
@ruthlessadmin 7 жыл бұрын
This is why open source is so important. I would love to see a viable open CPU alternative emerge, on the scale of Linux in the software world. It's not impossible, but it would be a much different and more challenging problem to solve.
@jastrckl
@jastrckl 7 жыл бұрын
already exists. SPARC.
@ruthlessadmin
@ruthlessadmin 7 жыл бұрын
Thanks..I was aware of SPARC but didn't realize it was open source. I'm also aware of some other open source CPUs. Still, I don't think it quite meets the mark for a genuine competitor to x86. I mean, I can go out and buy a laptop running Linux but I don't think I can go buy a laptop with a SPARC so easily....
@kunou4527
@kunou4527 7 жыл бұрын
Problem here is licensing. It can't be GNU. Would need to be BSD based to entice innovation and protection of intellectual property. Which means the option to not release certain intellectual property for free. Or rather, the freedom to not be compelled to do so at the cost of the innovator.
@y__h
@y__h 7 жыл бұрын
Kunou RISC-V is BSD-licensed ISA.
@bertdowns8186
@bertdowns8186 6 жыл бұрын
RISC V. Linus tech tips made a video on it recently...
@ShadyNetworker
@ShadyNetworker 7 жыл бұрын
Goddamn, did Intel send assassins after this guy or what?
@morwar_
@morwar_ 4 жыл бұрын
They hired him.
@AbhishekBM
@AbhishekBM 4 жыл бұрын
@@morwar_ To expose themselves?
@morwar_
@morwar_ 4 жыл бұрын
@@AbhishekBM No, my guess is that what he knows is valuable.
@KishoreG2396
@KishoreG2396 6 ай бұрын
He works for Intel now
@justabelief5119
@justabelief5119 6 жыл бұрын
When I was a kid guys like this were the rockstars and astronauts to me.
@MickeyMishra
@MickeyMishra 6 ай бұрын
I still feel the same way today in 2024 and I never grew up. Toys R Us kid till the end!
@puellanivis
@puellanivis 7 жыл бұрын
TL;DR: This tool is awesome, thanks for writing it, good thinking all the props. So, some thoughts, sometimes undocumented instructions can be implemented across multiple architectures because it is simply a logical extension of the architecture that isn’t actually documented, but putting in the logic to block those undocumented instructions is more work than it is worth. (i.e. undocumented, or “behaviour undefined” register combinations) similarly, a short-cut in implementation (pinning a behaviour-changing mux to a specific bit of the opcode, rather than actually decoding it) A good example here is the SL1 instruction on the Z80 processor. The three instructions SRA, SLL, SRL are combined in a quad-structure with a section of missing shift-left instructions. Actually executing these instructions results in a shift-left then set bottom-bit. Likely as a result of opcode bits being pinned to muxes. Additionally, there is still a worth in specifications. Specifications detail what is _expected_ behaviour, and what one can rely upon. As such, there’s a giant chasm of instructions that may work at the time, but are not guaranteed to work in the future, or even potentially after a microcode update. So, we get this horrible area, where like the 66 e9 instruction, good software should never include this instruction, because it is non-standard and “a valid implementation of undefined behaviour is to make monkeys fly out of the user’s butt”, but meanwhile, the processor still accepts these instructions, and can potentially then be malicious. At the same time, you can’t _really_ trust that only malicious code uses these instructions… so… poop.
@edmund-osborne
@edmund-osborne 5 жыл бұрын
Finally! Someone speaking at a tech event who isn't a stuttering incompetent mess onstage!
@Walter_
@Walter_ 5 жыл бұрын
You gotta realize these sorts of people are specialized hard into 1 thing.
@MrtinVarela
@MrtinVarela 7 жыл бұрын
*"jk i'm malicious af"*
@zesjerome7189
@zesjerome7189 5 жыл бұрын
wrr
@bkiffter
@bkiffter 7 жыл бұрын
Maybe a stupid question, but how does the cursor keep blinking if the CPU is locked up?
@TheHuesSciTech
@TheHuesSciTech 7 жыл бұрын
The graphics card does the blinking. The cursor blinking was literally done by special circuitry back in the days of text-only computers decades ago when the CPU couldn't possible spare CPU cycles to blink a cursor. And since there's been a continuous evolution of compatible machines ever since, the graphics hardware has never been relieved of that responsibility. Of course, modern GPUs can handle that in their sleep. (If the bug was demonstrated in a Graphical UI, then it probably would freeze.)
@zesjerome7189
@zesjerome7189 5 жыл бұрын
no such thing as stupix qor not
@matheusrodrigues9653
@matheusrodrigues9653 3 жыл бұрын
@@TheHuesSciTech eu ia morrer sem saber disso
@AlexSKelly-up7lf
@AlexSKelly-up7lf 3 жыл бұрын
@Brick It really is, not only because it would have been difficult to come up with, but also because it would be easy to think something else entirely. I thought it would only stop executing instructions in a specific ring or something like that.
@Lucas_Simoni
@Lucas_Simoni 2 жыл бұрын
I had some glitch on nvidia drivers on ubuntu that would show up some previous image sprites that were on my windows after I restarted and dual booted into it, it was something related to dual monitor (it didn't work out of the box, I never bothered to fix it), I have no idea how possibly that could have happened, how some sort of buffer could have survived a system restart, but somehow some internal gpu buffer survived, and I never seen anyone talking about that online. It also seems like the cursor is accelerated by the the GPU too, and probably a lot more going on. Check this video out: [PS2 vector unit demonstration Using only 16K of working space; NONE of the ps2 main CPU was used: kzbin.info/www/bejne/p520mX15qqeMqac] Also, in other video game consoles, there is a lot of GPU compute that happens independently of the main CPU, search for architectures for the gameboy advanced, nintendo ds, nes, etc.
@233kosta
@233kosta 3 жыл бұрын
I should imagine a lot of these undocumented instructions would be work in progress, perhaps left there for eventual future use, perhaps used to reduce the cost of prototyping, but the coordination between x86 manufacturers does raise some serious concerns. These could be anything from hyperoptimised inverse square root calculations to deliberate holes in x86 security, put in place for "the right people"... See "idiocy of back doors"... It could also be as simple as Micro$oft (or Apple?) paying them a handsome sum of money to implement a custom instruction set just for them without telling anyone.
@samm3417
@samm3417 3 жыл бұрын
I watched this video 𝟓 𝐓𝐈𝐌𝐄𝐒!... not because I didn't understand it but because it's just wonderful and so INTERESTING. Amazing Black Hat
@djdeluxe76
@djdeluxe76 3 жыл бұрын
10:25 when you make the processor roll over for you, you know you're next level
@Roxor128
@Roxor128 7 жыл бұрын
I think this was 80% nifty and 20% scary. Nifty for coming up with that approach for finding undocumented opcodes. Scary for the fact that so many were found.
@fss1704
@fss1704 6 жыл бұрын
i couldn't agree more with your words, literally.
@xDR1TeK
@xDR1TeK Жыл бұрын
Remarkable person with a unique mind.
@tacokoneko
@tacokoneko 7 жыл бұрын
32:56 *_This man is claiming that it would be possible to write a malicious program that is completely benign and undetectable on any x86_64 computer that is not using a physical Intel CPU, but when executed on a computer with an Intel CPU it could arbitrarily execute whatever otherwise deliberately avoided lines of ASM the programmer desired, and also vice versa by inverting the principle._* That's the killing blow of this video and, if his demonstration is true, means that nobody should be using x86 CPUs for cryptography of any meaningful level of security.
@lawrencehook
@lawrencehook 7 жыл бұрын
His claim applies to all processors. Intel just happens to be the most popular, thus relevant one.
@tacokoneko
@tacokoneko 7 жыл бұрын
actually if you click on the timestamp at the beginning of my comment he is literally saying that a difference between intel and amd (+via) is what causes the vulnerability to exist. it could be said that intel is at fault because their noncompliance with their own documentation is what causes the problem. however all cpu manufacturers are at fault for everything he finds with his method, as he goes on to reveal a pentium f00f-like CPU hardlock he purportedly discovered in an AMD CPU.
@feppfepp
@feppfepp 7 жыл бұрын
The behavior of 0x66 with jumps is well-documented since quite some time. This is just tools not being correct visavi the spec, which is pretty common to be honest for a complex spec. The fact that AMD processors behave differently is a compounding of the problem, however. Qemu is not an instruction set reference by a long shot; it is a best-effort project - and there are likely many other similar bugs to be found. When using VT-x to run, you would get the right results.
@bit2shift
@bit2shift 7 жыл бұрын
Most of those undefined opcodes could be what LAX was on 6502: opcodes without explicit microcode.
@bryede
@bryede 7 жыл бұрын
With simple processors like the 6502, you could enable parts of more than one instruction because the opcodes weren't discretely decoded. On a modern CPU, a working instruction is most likely intentional.
@bit2shift
@bit2shift 7 жыл бұрын
bryede the thing is: we don't know the exact internals of x86 like we do with 6502 because it's closed hardware and it's constantly changing with each new microarchitecture iteration.
@bryede
@bryede 7 жыл бұрын
Right, but the x86 is fully microcoded and it can even be updated in the field. This means instructions point to specific internal sequences to be executed. When you find a sequence that works without throwing an exception, it probably means there's something in the table. It doesn't mean it's top secret functionality, but it might be. On the 6502, the undocumented opcodes came from enabling more than one instruction because the sequencing ROM was optimized for size and is built out of fragments that can overlap with illegal bit combinations.
@bit2shift
@bit2shift 7 жыл бұрын
bryede several millions of undocumented instructions would require a fairly big microcode ROM, so we can speculate that there's overlap between some of the documented and some of the undocumented.
@bryede
@bryede 7 жыл бұрын
Right. Because of how the instructions are prefixed and expanded in a byte-wise fashion, you don't need a table supporting all bit combinations, but rather you move from one 256-entry table to another. I'm just saying all unused byte entries are supposed to throw an exception. Just modifying instructions with prefix bytes won't.
@Baigle1
@Baigle1 7 жыл бұрын
Link to GitHub repositories! github.com/xoreaxeaxeax/sandsifter
@dirtbikersteve
@dirtbikersteve 7 жыл бұрын
THANK YOU!
@JoshBeach
@JoshBeach 7 жыл бұрын
Github test results repo github.com/rigred/sandsifter-tests
@JasonMasters
@JasonMasters 7 жыл бұрын
Undocumented instructions have been around at least since the Z80 and perhaps before then. This is an 8-bit CPU which uses a separate 16-bit address bus. The Z80 has two 16-bit index registers, IX and IY, intended solely for indirectly accessing memory, but people noticed that the binary code for accessing these registers was just one byte to say "Use IX" or "Use IY" followed by exactly the same instructions used to access the HL register pair, which are two 8-bit registers which can be used together as a 16-bit address. Since the H and L registers can be used as separate 8-bit registers, people decided to try adding the "Use IX" or "Use IY" byte in front of the 8-bit H or L register instructions and discovered that they could access IXH, IXL, IYH and IYL as 8-bit registers. Many programmers then wrote an include file which defined these undocumented instructions as macros so they could use them directly in their programs.
@panteltje
@panteltje 7 жыл бұрын
Nice to hear about the Z80, learned asm programming on that long time ago. My coding style comes from this book by professor Miller (bing will find it online); 8080-Z80AssemblyLanguage-TechniquesForImprovedProgramming.pdf Appendix J mentions those instructions.
@olbluelips
@olbluelips 8 ай бұрын
Still my favourite talk
@georgetroulis
@georgetroulis 7 жыл бұрын
Incredible job done presenting this critical topic. Keep up the good work :)
@snooks5607
@snooks5607 7 жыл бұрын
holyfuck. I might be high, but tell me if that wasn't the best blackhat talk yet?
@unvergebeneid
@unvergebeneid 7 жыл бұрын
Save the best for last as they say.
@fss1704
@fss1704 6 жыл бұрын
damn yeah what kind of person doesn't get excited over ring -1 stuff....
@JG-tk3cd
@JG-tk3cd 7 жыл бұрын
This guy is a genius
@joemama-js6hv
@joemama-js6hv 5 жыл бұрын
ok woah.. this guy has some impressive talks here. a bright mind for sure.
@omgjingles
@omgjingles 7 жыл бұрын
I understood nothing, but enjoyed it.
@EdPin_
@EdPin_ 7 жыл бұрын
Information dense talk in a manner of John Carmack. Now i need time to digest. Awesome.
@tkothadev
@tkothadev 8 ай бұрын
22:26 ok this part genuinely looks like what you would see in hollywood movies
@slookify
@slookify 3 жыл бұрын
so much respect for those smart people
7 жыл бұрын
Has the hardware bug been disclosed yet?
@MagicBoterham
@MagicBoterham 7 жыл бұрын
Not to me, at least.
@hjembrentkent6181
@hjembrentkent6181 7 жыл бұрын
Bump.
@y__h
@y__h 6 жыл бұрын
Dunno yet, but today some people hinted at a whole new family of Spectre-class vulnerability.
@devlogged7633
@devlogged7633 5 жыл бұрын
@@y__h This aged quite well haha
@cataria3903
@cataria3903 7 жыл бұрын
great stuff! hopefully resulting in some good microcode updates and more secure cpus in the future.
@dorukayhanwastaken
@dorukayhanwastaken 5 жыл бұрын
😂
@kbabioch
@kbabioch 7 жыл бұрын
Great talk, nice ideas!
@analkarldervierte1759
@analkarldervierte1759 7 жыл бұрын
26:53 **Puts on tin foil hat** No seriously, that shit's scary
@mohammadkaif3868
@mohammadkaif3868 6 жыл бұрын
thank yu very much yu have rightly guided me to pursue a career in reverse engineering software yu are actually a genius and open sourcing those software tools makes yu true master in your field yu can turn those software tools into million dollar startup
@caliniaru1673
@caliniaru1673 7 ай бұрын
Extremely captivating!
@A-Milkdromeda-Laniakea-Hominid
@A-Milkdromeda-Laniakea-Hominid 7 жыл бұрын
I am reminded of Joe and Gordon running current through every pin of an early 80s IBM, resulting in that 2 inch thick blue binder, which Cameron was subsequently legally barred from reading it while she coded the BIOS for "The Giant."
@fss1704
@fss1704 6 жыл бұрын
can you send a link...?
@dtm303909
@dtm303909 7 жыл бұрын
Ok thanks for this talk. Just confirmed an old acquaintance must work for an intelligence agency. He told me this in 98 but was drunk and denied saying it after.. Lol..
@luisponce3580
@luisponce3580 5 жыл бұрын
This is truly disturbing. This guy was able to do this single handed (of course we can assume that a lot of people helped him, im too lazy to watch the video again to see if he said that he was not alone in this project), imagine what a group of malicious people, that literally do this all day, can actually do? I imagined these "malicious people" have literally all the backdoors in every single [Intel, Amd] hardware (processors) . If they were to find and fix a vulnerability, the "malicious people" still have the rest. But what do i know :) im just a student, and I am sorry for my english, I hope you still be able to get my concerning point.
@ropersonline
@ropersonline 3 жыл бұрын
So did he ever post an update to the undisclosed bug he talks about at 38:43?
@leberkassemmel
@leberkassemmel 7 жыл бұрын
Oh my. That's why I love my RISC CPU. Those x86 CPUs are so complex!
@dangi12012
@dangi12012 7 жыл бұрын
Well have fun writing fast software for RISC. Cisc is the way to go because you need less instructions to get more stuff done. Like sqare root in 1 op.
@DarklinkXXXX
@DarklinkXXXX 7 жыл бұрын
HD_Picard Thanks to significant microarchitectural advances in CPU design in the last couple decades, the number of instructions executed is no longer relevant to execution speed.
@firefly618
@firefly618 7 жыл бұрын
I have good news for you: x86 has been a RISC CPU for decades. The bad news: it's running a proprietary real-time OS known as "microcode" that emulates the CISC ISA and does all manner of shenanigans behind your back.
@IljaSara
@IljaSara 7 жыл бұрын
Waiting and waiting and waiting for some company to push out some RISC-V ISA based CPU for consumers.
@IljaSara
@IljaSara 7 жыл бұрын
If you completely disable the microcode, could you run code on "bare metal"?
@ongunkanat
@ongunkanat 5 жыл бұрын
Does anybody have a link for full disclosure?
@_zproxy
@_zproxy 7 жыл бұрын
good stuff
@AbdulelahAlJeffery
@AbdulelahAlJeffery 7 жыл бұрын
you know he's really good at what he's doing when he speaks at 200 k/h
@tjij-mbai
@tjij-mbai 5 жыл бұрын
It takes one to know one.
@douro20
@douro20 4 жыл бұрын
8086/8088 processors had an instruction prefix interrupt bug which wasn't fixed until the 80c88 was introduced. There was also a rather critical bug in early 8086/8088 processors which would cause an interrupt immediately after a MOV SS or POP SS to push data off the stack into an incorrect memory location, causing data corruption.
@347573
@347573 7 жыл бұрын
Mind blowing!! Neat and complete... bravo!! :)
@FamilienSoelberg
@FamilienSoelberg 7 жыл бұрын
You are my favorit! Love your stuff.
@memadmax69
@memadmax69 7 жыл бұрын
I like this. But my approach would be more like: Ok, put the candidate processor to be scanned on it's own, isolated mainboard/breadboard/experimental board, and feed the candidate processor instructions from another machine. That way everything is nice n isolated during crashes and could make scanning the ENTIRE instruction set faster and more reliable.
@fss1704
@fss1704 6 жыл бұрын
i saw some shit like that already... don't remember where.
@edwardkostreski6733
@edwardkostreski6733 7 жыл бұрын
did that brick the processor or only until power cycled?
@-argih
@-argih 7 жыл бұрын
technically unless it have some non volatile status memory
@nahCmeR
@nahCmeR 7 жыл бұрын
He said he tried it on multiple os and it always locked the cpu. So sounds like it's just locked until power cycles.
@hoshinova9791
@hoshinova9791 7 жыл бұрын
Oh boy. And now it's been revealed that Intel chips created in the past decade have a kernel memory leak "bug"/backdoor. Well, at least the Intel CEO sold as many shares as he could during Q4...
@benjaminbrady2385
@benjaminbrady2385 4 жыл бұрын
This has been fascinating!
@sent4dc
@sent4dc 7 жыл бұрын
Wow, that is amazing! Just curious though, any updates on that Ring3 DoS instruction that locked up his CPU?
@Ultrajamz
@Ultrajamz 7 жыл бұрын
Intel ME, AMD PSP...
@foobargorch
@foobargorch 7 жыл бұрын
Ultrajamz technically not part of it the ISA, a whole other layer of shit... Joanna Rutowska has a very long review of the problems with the arch, x86 considered harmful. there's also a great paper on doping attacks in the fabrication process that can reduce the rng entropy, so even if the spec is good the chip itself might not be... It's all so rotten to its core, we really need open hardware and auditable fabrication
@RogerBarraud
@RogerBarraud 7 жыл бұрын
Johanna *
@RogerBarraud
@RogerBarraud 7 жыл бұрын
Rutkowska*
@torpcoms6428
@torpcoms6428 7 жыл бұрын
That happens with older ME versions as well, anything past Penryn has a 30 minute reset timer. mail.coreboot.org/pipermail/coreboot/2016-September/082021.html
@torpcoms6428
@torpcoms6428 7 жыл бұрын
Yes; also nothing except ME11 is even using x86. AMD's ASP/PSP is an ARM core, and ME versions 10 and below were ARC cores.
@bakedbillybacon
@bakedbillybacon 7 жыл бұрын
Couldn't you create a "layer" in the linux kernel to block all instructions that are not documented?
@torpcoms6428
@torpcoms6428 7 жыл бұрын
Not a layer, but you could make the loader refuse to load programs that have an undocumented instruction, or that generate code that they later execute. Among other things, you could not use the JIT compilers in Java or ECMAscript runtimes.
@bakedbillybacon
@bakedbillybacon 7 жыл бұрын
Torpcoms Thanks for the answer. I was hoping for something in a lower level and not language restricted, blocking anything in the kernel level and above to use such instructions.
@KoflerDavid
@KoflerDavid 7 жыл бұрын
You could execute suspicious software on a fully virtualizing VM patched for this purpose. The VM would have to scan all code scheduled for execution for "undocumented" instructions. Problem is, you will lose a lot of performance. And there would still be the slight issue of hypervisor and disassembler bugs creating false positives/negatives. Watch the video for what can go wrong with such approaches.
@fss1704
@fss1704 6 жыл бұрын
+David Kofler vm's can't prevent magic numbers...
@sebastianramadan8393
@sebastianramadan8393 5 жыл бұрын
@@bakedbillybacon The detail about JIT compilers in Java and ECMAscript runtimes kind of is low-level in ways. Some processors have instructions that allow a subset of JVM bytecode instructions to be used kind of natively... as in in the assembly for the processor. It's not a documented feature in the ARM specification, but I think the name nowadays is Thumb2EE or something like that... the technology known by about as many previous names as a cheap hooker has teeth... so this proposal would indeed strip these devices (like your mobile phone) of their ability to quickly execute various JVM bytecode operations... the JIT compiler would have to simulate using software instead, which would be much slower... Similarly, I think you would lose a lot of multiscalar instructions that Intel has developed which aren't x86-standard...
@thewhitefalcon8539
@thewhitefalcon8539 2 жыл бұрын
Did he release info on his f00f bug discovery?
@SCTproductionsJ5
@SCTproductionsJ5 3 жыл бұрын
Are there registers they don't tell us about?
@devrim-oguz
@devrim-oguz 4 жыл бұрын
The only true way to know is to reverse engineer the die. There might be some secret knock codes that is outside the instruction space that could enable special functionality.
@maksymiliank5135
@maksymiliank5135 2 жыл бұрын
probably not. Why would they create something like that, invest their time and money and never use it again? Idk
@majorfallacy5926
@majorfallacy5926 Жыл бұрын
@@maksymiliank5135 espionage backdoors. There's a reason china wants its own silicon so badly
@gblargg
@gblargg 5 жыл бұрын
His search scheme seems to exclude some possibilities. From what he described, if say 00 xx is a two-byte instruction, he checks 00-FF for xx. Then he goes back and checks the length of 01. If it's also two bytes as before, he then doesn't search 01 xx, assuming that the last byte won't do anything special. But what if 01 00 is a three-byte instruction, or 01 23 is a three-byte instruction? Essentially, he seems to assume that there won't be two different types of instructions of the same length, next to each other in his search order. That is, if say 00 is a two-byte instruction, 01 is a one-byte instruction, and then 02 is a two-byte instruction, he will properly search both two byte instructions' second bytes, but if instead 00 and 01 are the two-byte instructions, he won't search the second one. Later he says he has the instruction at the end of a page to use a page fault to detect instruction length. I'd be wary of trusting that mechanism, especially for hidden instructions. I'm sure I've read errata for processors where instructions near or crossing a page boundary have issues.
@SarahC2
@SarahC2 7 жыл бұрын
Hidden instructions BETWEEN chip manufacturers = NSA. 26:00
@ujiltromm7358
@ujiltromm7358 3 жыл бұрын
... Or simply one manufacturer licensing the instruction set to the other, and implementing them all for inter-compatibility reasons.
@doctorweile
@doctorweile 7 жыл бұрын
The man is a genius!
@davivify
@davivify 7 жыл бұрын
Couldn't help but notice the venue for your seminar. Kind of puts a different slant on things, doesn't it? What a difference a couple of months can make.
@MINDDUMPP
@MINDDUMPP 2 жыл бұрын
Ever heard of the Talpiot Program?
@damionyates1
@damionyates1 3 жыл бұрын
About 6m40s in it says #40 is a single byte instruction `inc eax`. I assumed an #40 would cause a situation where if `ax` reached #ffff it would go back to #0000 and set the carry flag, but #66 #40 should increment eax to #00010000. There are several other minor factually confusing statements throughout the video. On the whole this is a great talk and seems to be presented by an absolute expert so now I'm doubting myself.
@qbasicmichael
@qbasicmichael 7 ай бұрын
First of all, inc and dec do not affect the carry flag. An overflow will set the zero flag, but not the carry flag. As for the rest, i think it depends on whether you're executing in 16 or 32 bit mode. If you're in 16 bit mode, then 40 is inc ax, and 66 40 is inc eax, as you describe. If you're in 32 bit mode, then 40 is inc eax, and 66 40 is inc ax, as he describes.
@panjak323
@panjak323 3 жыл бұрын
This is really well explained.
@cdoublejj
@cdoublejj 7 жыл бұрын
i wonder if AI could be used to make correlations and or do testing or variations of things/data?
@7Shol
@7Shol 5 жыл бұрын
18:30 Why fuzzing only 1 random bite will not corrupt memory state? I would have assume that it would be a specific bite that we should not change.
@alfin3644
@alfin3644 4 жыл бұрын
He did fuzzing bytes up to 15, seeing how the instruction pointer register incremented. Results start at 25:00
@DougCube
@DougCube 7 жыл бұрын
This is awesome! This guy's very resourceful to come up with these tools. Questions tho... Why wouldn't a processor's Instruction Cache prefetch generate the page-fault much earlier than when the straddling instruction was hit?
@nzz2
@nzz2 6 ай бұрын
2:31 - secret functionality, list of hardware bugs .. 20:30 Capstone disassembler ..
@slemsvamp
@slemsvamp 7 жыл бұрын
I feel a bit worried running anything this guy has created, he could rip my CPU to pieces with his mind. :D Jokes aside, this is awesome!
@notgate2624
@notgate2624 3 жыл бұрын
Incredible talk
@DoRC
@DoRC 7 жыл бұрын
I totally understood all of this:) :) :)
@MrocznyTechnik
@MrocznyTechnik 7 жыл бұрын
"You can fool all the people some of the time, and some of the people all the time, but you cannot fool all the people all the time." (Abraham Lincoln)
@MrHatoi
@MrHatoi 4 жыл бұрын
This guy is going to mysteriously disappear one day in events which Intel can claim plausible deniability for.
@tienatnguyen8899
@tienatnguyen8899 3 жыл бұрын
Decided to look him up after watching this video, his linked in, twitter and github all seem to be abandonned since 2018. Maybe they pay enough and he didn't want to keep a high profile, maybe what you said
@w04h
@w04h 4 жыл бұрын
42:20 Mine didn't literally halt and catch fire but maybe yours will, _that would be awsome_
@gnagyusa
@gnagyusa 7 жыл бұрын
Awesome. Pretty clever tricks!
@lohphat
@lohphat 4 жыл бұрын
My guess is many undocumented opcodes just do nothing. My guess the number of really secret opcodes are few, they just treat the potential execution paths as NOPs. Complex CISC CPUs use microcode to decode instructions so just routing them to NOP is more economical. However I still am concerned that the OEMs have included opcodes which may only be used for debugging but are vectors for abuse. What’s worse, some of the vulnerabilities may require several undocumented opcodes to do something so just poking single opcodes isn’t enough to scope the problem set.
@puellanivis
@puellanivis 7 жыл бұрын
“Page fault analysis…” (just put the instruction over a page fault line and execute, look for a page fault) … HAHAHahahahahaha, brilliant!
@etmax1
@etmax1 2 жыл бұрын
Great well explained video, thanks
@Lazarus7000
@Lazarus7000 7 жыл бұрын
Is there anything to be learned any more through physical disassembly of the chip? I know the Soviets used to grind the chip, miniscule layer by miniscule layer, but eventually the chips became too tightly packed for this to be viable, but I wonder if technological advances have been made in the last 25 years that could re-enable the technique, even if exotic technology like electron microscopes are needed to observe the chip...
@DaViruz
@DaViruz 7 жыл бұрын
Look for talks by Chris Tarnovsky, he describes these procedures on modern chips in great depth.
@iMPRE7ed
@iMPRE7ed 7 жыл бұрын
This is actually something amazing
@LiEnby
@LiEnby 4 жыл бұрын
Intel could still have some completely random bytes instruction that gives you ring-3 or smth for all we know.. or have something hidden and just throwing a #UD exception
@riofteldo6312
@riofteldo6312 3 жыл бұрын
Exactly, I mean, it's a good talk and page fault stuff is amazing, but why in the world would I hide an instruction in my processor and make it distinguishable from normal one?
@MarioManTV
@MarioManTV 7 жыл бұрын
Not super familiar with these architectures, but isn't it feasible to have certain combinations of instructions be used to cause specific, hidden behaviors? Seems like something that this tool would miss.
@BrianTaylor-AlwaysInTao
@BrianTaylor-AlwaysInTao 7 жыл бұрын
Outstanding work
@zlovredniyTip
@zlovredniyTip 7 жыл бұрын
Does a restart unlock the processor?
@Romana1776
@Romana1776 7 жыл бұрын
It should, afaik all non volatile memory on CPUs is read only. And I don't see him killing a processor every time he wants to test that.
@fss1704
@fss1704 6 жыл бұрын
+Alec Ritter i bet you if he could kill the fucking cpu from ring 3 he'd be doing a presentation on that, damn that would be way better than f00f
@disk0__
@disk0__ 7 жыл бұрын
How is Chris Domas so fuckign based holy shit
@XalphYT
@XalphYT 7 жыл бұрын
disco__ This presentation left my jaw on the floor.
@JorgetePanete
@JorgetePanete 7 жыл бұрын
disco__ fucking*
@goustwilliam4747
@goustwilliam4747 7 жыл бұрын
Everytime he says "instruction" take a shot
@_BangDroid_
@_BangDroid_ 7 жыл бұрын
That's so meta
@foundatlantis
@foundatlantis 7 жыл бұрын
i am so fucking drunk.
@arlobubble3748
@arlobubble3748 6 жыл бұрын
Challenge accepted!
@arlobubble3748
@arlobubble3748 6 жыл бұрын
20 min in and i concede defeat
DEF CON 25 - Christopher Domas - Breaking the x86 Instruction Set
40:40
DEFCONConference
Рет қаралды 19 М.
Каха и дочка
00:28
К-Media
Рет қаралды 3,4 МЛН
Beat Ronaldo, Win $1,000,000
22:45
MrBeast
Рет қаралды 158 МЛН
Сестра обхитрила!
00:17
Victoria Portfolio
Рет қаралды 958 М.
GOD MODE UNLOCKED - Hardware Backdoors in x86 CPUs
51:00
Black Hat
Рет қаралды 310 М.
27c3: Reverse Engineering the MOS 6502 CPU (en)
51:57
Christiaan008
Рет қаралды 444 М.
reductio ad absurdum by Christopher Domas
39:56
Shakacon LLC
Рет қаралды 26 М.
Compiling C to printable x86, to make an executable research paper
25:41
i-Opener - The $99 Computer That Cost a Company Millions
32:41
Michael MJD
Рет қаралды 1,2 МЛН
Reading Silicon: How to Reverse Engineer Integrated Circuits
31:52
Hacking the Wireless World with Software Defined Radio - 2.0
1:02:19
Каха и дочка
00:28
К-Media
Рет қаралды 3,4 МЛН