Kevin Mitnick Hacked California Law in 1983
41–50 of 92 posts
Re: Kevin Mitnick Hacked California Law in 1983
#42As someone with a software development background, I always found legal language very interesting. It is like a very verbose, programming language. All sorts of words and phrases have very specific meanings that, when arranged in a certain order, produce specific, reproducible outcomes. Sections of contracts and laws reference other sections by name and reference, and the whole document (or set of documents) gets int…
I attended a computing conference in LA a few years ago where someone presented a paper that turned legal phrases into code, and was able prove theorems from it. She suggested it was a way to mathematically look for "bugs" in the legal documents. I thought it was the most fascinating talk in the conference.
Re: Kevin Mitnick Hacked California Law in 1983
#43Re: Kevin Mitnick Hacked California Law in 1983
#44As someone with a software development background, I always found legal language very interesting. It is like a very verbose, programming language. All sorts of words and phrases have very specific meanings that, when arranged in a certain order, produce specific, reproducible outcomes. Sections of contracts and laws reference other sections by name and reference, and the whole document (or set of documents) gets int…
There are tons of ambiguities and other problems in issued patents!
When I get the time, I intend to rewrite a significant amount of the code in an object-oriented style. (Basically, making a class for a patent claim and having a ton of methods for that.) The code right now is a mostly untested mess that seems to produce decent results but is not pleasant to work with.
Re: Kevin Mitnick Hacked California Law in 1983
#45As someone with a software development background, I always found legal language very interesting. It is like a very verbose, programming language. All sorts of words and phrases have very specific meanings that, when arranged in a certain order, produce specific, reproducible outcomes. Sections of contracts and laws reference other sections by name and reference, and the whole document (or set of documents) gets int…
I think the biggest difference they face is that the interpreter is another reasoning human, and not just a functional part of the machine.
Re: Kevin Mitnick Hacked California Law in 1983
#46It's all in the public relations. Fellate the right reporters and you're set for life.
Re: Kevin Mitnick Hacked California Law in 1983
#47Earlier quoted context omitted.
I attended a computing conference in LA a few years ago where someone presented a paper that turned legal phrases into code, and was able prove theorems from it. She suggested it was a way to mathematically look for "bugs" in the legal documents. I thought it was the most fascinating talk in the conference.
do you have a link or reference to the paper or talk, please?
Re: Kevin Mitnick Hacked California Law in 1983
#48Earlier quoted context omitted.
I attended a computing conference in LA a few years ago where someone presented a paper that turned legal phrases into code, and was able prove theorems from it. She suggested it was a way to mathematically look for "bugs" in the legal documents. I thought it was the most fascinating talk in the conference.
do you have a link or reference to the paper or talk, please?
https://www.youtube.com/watch?v=EshxZVMURt4
https://popl18.sigplan.org/details/POPL-2018-papers/3/Formal...
The city is Los Angeles, though the content doesn't seem to match precisely what was mentioned.
I found this via a Google search for `conference convert legal phrases into code "theorem" bug`, which returned the following paper:
https://hal.inria.fr/hal-03159939v2/document
I then checked the citations of that paper for anything matching.
Re: Kevin Mitnick Hacked California Law in 1983
#49Kevin's parole officer liked him and knew that his superiors in an overworked system wouldn't bat an eye at his wrong interpretation of the law. So he played along, and his superiors didn't ask any questions. One less kid to keep up with (and a nonviolent one at that).
If on the other hand Kevin's parole officer had been a dick, he would have told Kevin he wasn't allowed to do this. And when Kevin did it anyway, he would have brought it to the attention of his supervisors who would use the right interpretation of the law to hold him accountable and keep the warrant out for some longer amount of time.
Since there isn't a series of human-based gates running inside Chromium, this has very little if anything to do with finding exploits in software.
Edit: clarification
Re: Kevin Mitnick Hacked California Law in 1983
#50Earlier quoted context omitted.
PUT KEVIN BACK
>>FREE KEVIN > PUT KEVIN BACK Registered a throwaway over Tor just for this thread. Kevin shouldn't be in prison, because prisons should be abolished, but be careful where you put... that . There's a notorious story about him being physically ejected from a fundraiser for refusing to pay the entry. (Redacting some details to stick to the fun parts) On my end, I was working my way up to maybe flirting with someone I'd…
Defcon is basically run by a gang that values loyalty and dedication above most things.. which has historically low standards of ethics for their goons and attendees (albeit has improved somewhat over the years)