to customize your list.
more stack exchange communities
Start here for a quick overview of the site
Detailed answers to any questions you might have
Discuss the workings and policies of this site
Automated security protocol verification tool for eCK model
I want a tool that (runs on Win7 and) can perform automated verification of a protocol in the eCK security model as described in Microsoft Research's paper "Stronger Security of Authenticated Key ...
Sep 7 '13 at 14:07
newest random-oracle-model adversarial-model questions feed
Hot Network Questions
'Map key null not found in map' when using apex:pageBlockTable
Do ear plugs have a big effect on ability to hear the music?
Who certified this yogurt as kosher?
"Do Not Disturb" tags in hotels, how can they be improved?
How to control SimpleDateFormat parse to 19xx or 20xx?
How should artwork be setup for T-shirt printing?
Is it possible to buy the ticket on board in German train?
Can I skip the launcher on Skyrim?
What are some of the segmented displays with the lowest power consumption?
Who should the authors of a corrigendum be?
What does “balls” mean as a reply word or interjection?
How is the inplace modification of a file being done?
Would colonising Antarctica be a good test for colonising Mars?
What causes morning wood?
Should a Landing Page tell the User how to Pronounce the Company's Name?
How to simplify path?
Tight prime bounds
Train passport control from London to Paris
Why is paying mortgage interest considered by some to be beneficial?
More emphatic term for "Expert"?
What are some "conceptualizations" that work in mathematics but are not strictly true?
Something a 'stone's throw away' from something - what's an apostrophe and an article doing there?
What is the technical term for current (.) and parent (..) directory?
Bonus points, only negative
more hot questions
Life / Arts
Culture / Recreation
TeX - LaTeX
Unix & Linux
Ask Different (Apple)
Geographic Information Systems
Science Fiction & Fantasy
Seasoned Advice (cooking)
Personal Finance & Money
English Language & Usage
Mi Yodeya (Judaism)
Cross Validated (stats)
Theoretical Computer Science
Meta Stack Exchange
Stack Overflow Careers
site design / logo © 2014 stack exchange inc; user contributions licensed under
cc by-sa 3.0