@edwinbrady https://www.imperialviolet.org/2014/02/22/applebug.html … You can argue that the bug could have simply been fixed with proper syntax!
@jfdm I've seen all kinds of claims as to what simple thing would have caught it! I'd like to write the type for the protocol though.
-
-
@edwinbrady So would I!!! And I do have a plan. Maybe this google search will help: http://scholar.google.co.uk/scholar?hl=en&q=tls+proverif&btnG=&as_sdt=1%2C5&as_sdtp= … -
@jfdm looks very likely
End of conversation
New conversation -
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.