Live data from Hacker News

Kevin Mitnick Hacked California Law in 1983

schneier.com

41–50 of 92 posts

Re: Kevin Mitnick Hacked California Law in 1983

#42
post #19

As 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.

do you have a link or reference to the paper or talk, please?

Re: Kevin Mitnick Hacked California Law in 1983

#44
post #19

As 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 wrote an analyzer for patent claims: https://github.com/btrettel/plint

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

#45
post #19

As 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…

Several years ago I was chatting with a patent lawyer who belonged to my electronics hobby group, and it struck me in the middle of the conversation that Lawyers are hackers of the Law. Folks who find the system interesting and (in some cases) enjoy finding and understanding the attack surface and vulnerabilities.

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

#47

Earlier 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?

[deleted]

Re: Kevin Mitnick Hacked California Law in 1983

#48

Earlier 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?

Possibly could be this:

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

#49
Alternative rank speculation:

Kevin'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

#50

Earlier 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…

As far as hacker cons go, Defcon is not CCC

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)

Post reply on HN