Re: [Full-disclosure] Windows' future (reprise)

[Georgi Guninski <guninski@xxxxxxxxxxxx>]

On Tue, May 18, 2010 at 11:27:22AM -0400, Valdis.Kletnieks@xxxxxx wrote:
> 
> (Note that the esteemed Mr <READ_THE_LIST_CHARTER>   overlooked "unknown 
> knowns" - that class
> of stuff we don't realize or refuse to admit we actually *do* know:
>
ok, i know i am a writer not a reader (like a narcisist chukcha is ;) )

can you recommend reading about malware that belongs to a class of malware "the 
existence of which provably cannot be proved within <current technology> ... if 
one assumes <current technology> itself is consistent> [1]"

the disclosed idea of backdooring the compiler doesn't count, because currently 
people are *examining* compilers (well, assuming they can do it).

did someone {\TeX , .pdf } producer managed to represent in text some 
_abstract??_ backdooring that is undetectable with current plausible budgets 
(as in "god can backdoor all of your bases" or "it may be possible to screw the 
electric field in exploitable way in any circumstances" ) ?


[1] 
http://en.wikipedia.org/w/index.php?title=Large_cardinal_property&oldid=18071390

_______________________________________________
Full-Disclosure - We believe in it.
Charter: http://lists.grok.org.uk/full-disclosure-charter.html
Hosted and sponsored by Secunia - http://secunia.com/