{"doi":"10.1007/978-3-319-24174-6_7","title":"Computational Soundness for Interactive Primitives","abstract":null,"journal":"Lecture Notes in Computer Science","year":2015,"id":599109,"datarank":0.0,"base_score":0.0,"endowment":0.0,"self_citation_contribution":0.0,"citation_network_contribution":0.0,"self_endowment_contribution":0.0,"citer_contribution":0.0,"corpus_percentile":null,"corpus_rank":null,"citation_count":0,"citer_count":0,"citers_with_citation_signal":0,"citers_with_endowment":0,"datacite_reuse_total":0,"is_dataset":false,"is_dataset_confidence":null,"is_data_producer":false,"deposit_databanks":null,"is_oa":false,"file_count":0,"downloads":0,"has_version_chain":false,"published_date":null,"fair_score":null,"fair_percentile":null,"algorithm_id":"datarank_citation_only_1hop_v6","ranking_scope":"data_only","authors":[{"id":29440,"name":"Esfandiar Mohammadi","orcid":"0000-0002-2799-8128","position":1,"is_corresponding":false},{"id":1535476,"name":"Tim Ruffing","orcid":null,"position":2,"is_corresponding":false},{"id":63590,"name":"Michael Backes","orcid":"0000-0002-9326-6400","position":0,"is_corresponding":false}],"reference_count":0,"raw_metadata":{"has_enrichment":true,"resolved":true,"title":"Computational Soundness for Interactive Primitives","abstract":"We present a generic computational soundness result for interactive cryptographic primitives. Our abstraction of interactive primitives leverages the Universal Composability (UC) framework, and thereby offers strong composability properties for our computational soundness result: given a computationally sound Dolev-Yao model for non-interactive primitives, and given UC-secure interactive primitives, we obtain computational soundness for the combined model that encompasses both the non-interactive and the interactive primitives. Our generic result is formulated in the CoSP framework for computational soundness proofs and supports any equivalence property expressible in CoSP such as strong secrecy and anonymity. In a case study, we extend an existing computational soundness result by UC-secure blind signatures. We obtain computational soundness for blind signatures in uniform bi-processes in the applied $$\\pi $$ -calculus. This enables us to verify the untraceability of Chaum’s payment protocol in ProVerif in a computationally sound manner.","is_dataset_classified":null,"base_score":0.0,"endowment":0.0,"datacite_reuse_total":0,"file_count":0,"downloads":0,"views":0,"has_version_chain":false,"is_dataset":false,"is_oa":false,"pmid":"23304386","pmcid":null,"openalex_id":"https://openalex.org/W2293004035","authors":[],"funders":[],"total_grants":0,"fwci":null,"citation_percentile":null,"influential_citations":0,"citation_trend":[],"oa_status":"hybrid","license":"cc-by-nc","oa_locations":[{"url":"https://link.springer.com/content/pdf/10.1007/978-3-319-24174-6_7.pdf","host_type":"book series"},{"url":"https://link.springer.com/content/pdf/10.1007/978-3-319-24174-6_7.pdf","host_type":"publisher"},{"url":"https://link.springer.com/content/pdf/10.1007/978-3-319-24174-6_7","host_type":"publisher"},{"url":"https://doi.org/10.1007/978-3-319-24174-6_7","host_type":"book series"}],"fields_of_study":["Cryptography and Data Security","Advanced Authentication Protocols Security","User Authentication and Security Systems"],"mesh_terms":[],"keywords":["Soundness","Computer science","Composability","Theoretical computer science","Mathematical proof","Computational complexity theory","Universal composability","Equivalence (formal languages)","Abstraction","Cryptographic primitive","Cryptography","Programming language","Cryptographic protocol","Algorithm","Mathematics","Discrete mathematics"],"sdg_mappings":[],"linked_datasets":[],"clinical_trials":[],"software_tools":[],"database_accessions":[],"source":"live","citation_network_status":"fetched"},"created_at":"2026-07-28T18:41:42.295913Z","pmid":null,"pmcid":null,"fwci":null,"citation_percentile":null,"influential_citations":0,"oa_status":null,"license":null,"views":0,"total_file_size_bytes":0,"version_count":0,"fair_f":null,"fair_a":null,"fair_i":null,"fair_r":null,"fair_zscore":null,"fair_rationale":null,"fair_model":null,"fair_agent_version":null,"fair_fulltext_source":null,"fair_has_llm":null,"fair_computed_at":null,"clinical_trials":[],"software_tools":[],"db_accessions":[],"linked_datasets":[],"topics":[]}