Session Types are basically what I'm looking for, though ideally, some kind of combinators to simultaneously build session types for both clients and servers.
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Acute & HashCaml are interesting, but they address only(?) the lower-level (un)marshalling layers, and do so with a threat model too weak for my use case.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Is there anything in the style or continuation of
@jeapostrophe's and@ShriramKMurthi's 2008 "Cryptographic Protocol Explication and End-Point Projection" https://cs.brown.edu/~sk/Publications/Papers/Published/mk-crypto-prot-expl-epp/paper.pdf … ? … Citeseer sees 3 citations. -
Those two communities (crypto and EPP) have generally worked separately. We tried to bring them together in that paper, but it may have been too obscure. Both are about knowledge!
End of conversation
New conversation -
-
-
Start with some type of temporal logic?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!