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
in 4 days
Hot Network Questions
What physical contact, if any, is acceptable between a supervisor and a student?
On a weak tree property for inaccessible cardinals
What technology can result from such expensive experiment as undertaken in CERN?
Applying hand cream on Shabbos
Password validation in Java
Word Search Puzzle
Filling gaps by repeating a character
Could I tie together two satellites at different altitudes?
Increment every number in a string
Is this slower because of two lookups instead of one?
Do Text Based Browsers reduce Network Traffic
What makes mains voltage safe in homes?
Anti-neutrons, anti-quarks, isospin: What is observed and what is derived?
Help me with this definite integral
Are iOS apps faster than android apps since android apps are interpreted?
Is there any security risk from my kids knowing their minecraft password?
Is anyone at Hogwarts married?
PID's associated with Chromium multiple tabs and windows?
What is a halogen burner or (?) cooktop? How does it work?
What does it mean by acta?
My employer wants me to write a guide for doing my job
How to make fractions in powers look good
partitions and their generating functions and Partitions of n
Extract lines from a file containg From <str1> To <str2>
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