Publication
Detail
Publication date: 01/01/2010Encoding cryptographic primitives in a calculus with polyadic synchronization
URL | http://ctp.di.fct.unl.pt/~aravara/pubs/journals/10-MR-crypto-epi-final.pdf |
---|---|
Journal | Journal of Automated Reasoning |
Publisher | Universitat Politècnica de Catalunya |
URL | http://ctp.di.fct.unl.pt/~aravara/pubs/journals/10-MR-crypto-epi-final.pdf |
Journal | Journal of Automated Reasoning |
Publisher | Universitat Politècnica de Catalunya |