BORN TO SCHEME
OOP IS A FUCK
CURRY EM ALL 1989
I AM TRASH FUNCTION
289,858,919,123 TAIL CALLS
@jamey Proverif is super easy to learn and I'm having a lot of fun already, and I might look into Cryptoverif and Tamarin later for fun
I'm now trying to learn ProVerif from the fine folks at Inria
http://prosecco.gforge.inria.fr/personal/bblanche/proverif/h/t
@spun_off (
https://twitter.com/spun_off/status/908695983156088832)
it seems to do exactly the kind of knowledge-modelling I want
the point is, I'm a dumbass, help me find tools that'll tell me in which exact ways I'm being a dumbass in protocol design, kthx
wait fuck TLA+ isn't the tool I was thinking of, *handwave* process calculus or something, urgh
I know of tools like TLA+ for modelling protocol interactions between agents, and all I'm adding here is a notion of (derived) knowledge, and I strongly doubt I'm the first to want this.
dear formal methods folk, is there a convenient tool for modelling agent-knowledge in (cryptographic) protocols that I should know of?
I've been playing around in Prolog a little (see image), but I'm sort of drawing a blank on how I'd properly model this.
https://mastodon.social/media/5xooGPOV-Cm__VHC0kIhey lazyweb, I'm looking for recommendations on free/libre UI mockup software
preferably stuff that looks more sketch-like, I'm not trying to depict the polished final product, because that tends to inhibit critique
hacker witch puck 👩💻
HACKER TEENBecause everyone at the Birdsite seemed to like this feature now, I made some code and ... released tootchains!
1 day ago
→ @