Kevin Mitnick Hacked California Law in 1983

Re:Kevin Mitnick Hacked California Law in 1983 by btrettel on Friday January 27, 2023 @08:25PM (#34554127)

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.

[ Parent | on HN ]

Re:Kevin Mitnick Hacked California Law in 1983 by WalterBright on Saturday January 28, 2023 @01:01AM (#34555591)

Yes, it's the POPL talk. Thanks for digging it up for me. I had a nice conversation with her after her talk about her work.

[ Parent | on HN ]

Re:Kevin Mitnick Hacked California Law in 1983 by Twisol on Saturday January 28, 2023 @09:16AM (#34557695)

I remember this talk! The speaker recommended doing this with the tax code because it was one of the most mechanical -- very little inherent ambiguity, there's just a lot of surface area to cover, so it's a great candidate for actually applying formal methods to.

[ Parent | on HN ]

Re:Kevin Mitnick Hacked California Law in 1983 by WalterBright on Saturday January 28, 2023 @02:54PM (#34561055)

You'll probably remember me being there, I was the nerdy guy.

Oh wait, everyone was a nerdy person!

[ Parent | on HN ]

Re:Kevin Mitnick Hacked California Law in 1983 by Twisol on Saturday January 28, 2023 @03:07PM (#34561232)

I was starstruck enough just sitting next to Daniel Friedman ^_^;

[ Parent | on HN ]