Maaan, you don't drop a paper with a claim like this in the abstract before holidays. We need to spend time with our families.pic.twitter.com/QjOTphVdzg
I wrote a paper titled "Weird machines, exploitability, and provable unexploitability", which is slated to be published in TETC and is which now available on IEEE preprint site: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8226852 …
-
-
-
In my family, after the christmas evening gift opening, people usually spent time by the xmas tree reading ;). Also, beware: The side conditions are super super tight, so some disappointment may lay ahead.
- Još 2 druga odgovora
Novi razgovor -
-
-
Congrats! I will attempt to read later with the help of this: https://twitter.com/samykamkar/status/942486762072535040 …. Otherwise I can't get past page 3.
-
Sorry for that :-/. Hard to run any proofs without that sorta symbol deluge.
- Još 2 druga odgovora
Novi razgovor -
-
-
I always find the phrase "security vulnerability" awkwardly redundant, and I think you do too because you're subsequently using just "vulnerability". Why did you choose to use it?
-
I don't think I made a conscious choice on that one.
- Još 2 druga odgovora
Novi razgovor -
-
-
Is there a version with the implementations? That one leaves them blank in the appendix, but the lemma statements reference specific details about them, and so can't be interpreted
-
Ah yes sorry for that, seems ieee preprints strip apoendices. http://www.dullien.net/thomas/weird-machines-exploitability.pdf … is an older version w appendix. Will try to see how to get final version w appendix too.
Kraj razgovora
Novi razgovor -
-
-
How can programs be modeled as fsm when for e.g., x86 instruction set is Turing complete
-
Every real program is implemented on a finite memory machine, which can hence be modelled as FSM.
- Još 1 odgovor
Novi razgovor -
Č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.