On Sun, Apr 30, 2017 at 1:19 PM, Adam Chlipala <adamc at csail.mit.edu> wrote: > Ur/Web doesn't support any interaction with cookies in client-side > code. Is this because Ur/Web signs all its cookies and doing the signing and verification on the client side is a security problem?