2446 search results - page 17 / 490 » Choiceless Polynomial Time |
CONCUR
2003
Springer
14 years 22 days ago
2003
Springer
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...
CSR
2010
Springer
14 years 9 days ago
2010
Springer
We show that a logical framework, based around a fragment of existential second-order logic formerly proposed by others so as to capture the class of polynomially-bounded P-optimi...
ICALP
2010
Springer
14 years 8 days ago
2010
Springer
PODS
2009
ACM
14 years 5 days ago
2009
ACM
COCOON
2001
Springer
14 years 4 hour ago
2001
Springer
