Publication Information

{'id': 'https://openalex.org/W2400049039', 'doi': None, 'title': 'A Universally Composable Cryptographic Library', 'display_name': 'A Universally Composable Cryptographic Library', 'publication_year': 2003, 'publication_date': '2003-01-01', 'ids': {'openalex': 'https://openalex.org/W2400049039', 'mag': '2400049039'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://eprint.iacr.org/2003/015.pdf', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S2764847869', 'display_name': 'IACR Cryptology ePrint Archive', 'issn_l': None, 'issn': None, 'is_oa': False, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/P4322614454', 'host_organization_name': 'Cryptology ePrint Archive', 'host_organization_lineage': ['https://openalex.org/P4322614454'], 'host_organization_lineage_names': ['Cryptology ePrint Archive'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, 'type': 'preprint', 'type_crossref': 'posted-content', 'indexed_in': [], 'open_access': {'is_oa': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5004014878', 'display_name': 'Michael Backes', 'orcid': 'https://orcid.org/0000-0002-9326-6400'}, 'institutions': [], 'countries': [], 'is_corresponding': False, 'raw_author_name': 'Michael Backes', 'raw_affiliation_strings': [], 'affiliations': []}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5109863471', 'display_name': 'Birgit Pfitzmann', 'orcid': None}, 'institutions': [], 'countries': [], 'is_corresponding': False, 'raw_author_name': 'Birgit Pfitzmann', 'raw_affiliation_strings': [], 'affiliations': []}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5078166208', 'display_name': 'Michael Waidner', 'orcid': 'https://orcid.org/0000-0001-7919-9961'}, 'institutions': [], 'countries': [], 'is_corresponding': False, 'raw_author_name': 'Michael Waidner', 'raw_affiliation_strings': [], 'affiliations': []}], 'institution_assertions': [], 'countries_distinct_count': 0, 'institutions_distinct_count': 0, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': None, 'has_fulltext': False, 'cited_by_count': 107, 'citation_normalized_percentile': {'value': 0.964607, 'is_in_top_1_percent': False, 'is_in_top_10_percent': True}, 'cited_by_percentile_year': {'min': 96, 'max': 97}, 'biblio': {'volume': '2003', 'issue': None, 'first_page': '15', 'last_page': None}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10237', 'display_name': 'Cryptography and Data Security', 'score': 0.9999, 'subfield': {'id': 'https://openalex.org/subfields/1702', 'display_name': 'Artificial Intelligence'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, 'topics': [{'id': 'https://openalex.org/T10237', 'display_name': 'Cryptography and Data Security', 'score': 0.9999, 'subfield': {'id': 'https://openalex.org/subfields/1702', 'display_name': 'Artificial Intelligence'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, {'id': 'https://openalex.org/T11424', 'display_name': 'Security and Verification in Computing', 'score': 0.9997, 'subfield': {'id': 'https://openalex.org/subfields/1702', 'display_name': 'Artificial Intelligence'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, {'id': 'https://openalex.org/T10951', 'display_name': 'Cryptographic Implementations and Security', 'score': 0.9996, 'subfield': {'id': 'https://openalex.org/subfields/1702', 'display_name': 'Artificial Intelligence'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}], 'keywords': [{'id': 'https://openalex.org/keywords/cryptographic-nonce', 'display_name': 'Cryptographic nonce', 'score': 0.7149723}, {'id': 'https://openalex.org/keywords/soundness', 'display_name': 'Soundness', 'score': 0.50885415}], 'concepts': [{'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.79745364}, {'id': 'https://openalex.org/C15927051', 'wikidata': 'https://www.wikidata.org/wiki/Q246593', 'display_name': 'Cryptographic primitive', 'level': 4, 'score': 0.74000984}, {'id': 'https://openalex.org/C33884865', 'wikidata': 'https://www.wikidata.org/wiki/Q1254335', 'display_name': 'Cryptographic protocol', 'level': 3, 'score': 0.72512484}, {'id': 'https://openalex.org/C9996903', 'wikidata': 'https://www.wikidata.org/wiki/Q1749235', 'display_name': 'Cryptographic nonce', 'level': 3, 'score': 0.7149723}, {'id': 'https://openalex.org/C178489894', 'wikidata': 'https://www.wikidata.org/wiki/Q8789', 'display_name': 'Cryptography', 'level': 2, 'score': 0.695029}, {'id': 'https://openalex.org/C99674996', 'wikidata': 'https://www.wikidata.org/wiki/Q1414155', 'display_name': 'Key exchange', 'level': 4, 'score': 0.67652977}, {'id': 'https://openalex.org/C39920170', 'wikidata': 'https://www.wikidata.org/wiki/Q693083', 'display_name': 'Soundness', 'level': 2, 'score': 0.50885415}, {'id': 'https://openalex.org/C80444323', 'wikidata': 'https://www.wikidata.org/wiki/Q2878974', 'display_name': 'Theoretical computer science', 'level': 1, 'score': 0.5036301}, {'id': 'https://openalex.org/C148730421', 'wikidata': 'https://www.wikidata.org/wiki/Q141090', 'display_name': 'Encryption', 'level': 2, 'score': 0.49125284}, {'id': 'https://openalex.org/C108710211', 'wikidata': 'https://www.wikidata.org/wiki/Q11538', 'display_name': 'Mathematical proof', 'level': 2, 'score': 0.43071127}, {'id': 'https://openalex.org/C38652104', 'wikidata': 'https://www.wikidata.org/wiki/Q3510521', 'display_name': 'Computer security', 'level': 1, 'score': 0.41615304}, {'id': 'https://openalex.org/C203062551', 'wikidata': 'https://www.wikidata.org/wiki/Q201339', 'display_name': 'Public-key cryptography', 'level': 3, 'score': 0.4032095}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.1680786}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.13067928}, {'id': 'https://openalex.org/C2524010', 'wikidata': 'https://www.wikidata.org/wiki/Q8087', 'display_name': 'Geometry', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://eprint.iacr.org/2003/015.pdf', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S2764847869', 'display_name': 'IACR Cryptology ePrint Archive', 'issn_l': None, 'issn': None, 'is_oa': False, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/P4322614454', 'host_organization_name': 'Cryptology ePrint Archive', 'host_organization_lineage': ['https://openalex.org/P4322614454'], 'host_organization_lineage_names': ['Cryptology ePrint Archive'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [{'score': 0.63, 'display_name': 'Peace, justice, and strong institutions', 'id': 'https://metadata.un.org/sdg/16'}], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 36, 'referenced_works': ['https://openalex.org/W1491103038', 'https://openalex.org/W1493079268', 'https://openalex.org/W1499934958', 'https://openalex.org/W1512372863', 'https://openalex.org/W1532150808', 'https://openalex.org/W1534850143', 'https://openalex.org/W1538016627', 'https://openalex.org/W1552368212', 'https://openalex.org/W1589176872', 'https://openalex.org/W1591954407', 'https://openalex.org/W1923391011', 'https://openalex.org/W1966212263', 'https://openalex.org/W1991004527', 'https://openalex.org/W1993941352', 'https://openalex.org/W1994676271', 'https://openalex.org/W1997859100', 'https://openalex.org/W2026449948', 'https://openalex.org/W2029693536', 'https://openalex.org/W2033766329', 'https://openalex.org/W2058014492', 'https://openalex.org/W2061106457', 'https://openalex.org/W2086536307', 'https://openalex.org/W2092422002', 'https://openalex.org/W2098487689', 'https://openalex.org/W2101803085', 'https://openalex.org/W2105861506', 'https://openalex.org/W2119708968', 'https://openalex.org/W2148509425', 'https://openalex.org/W2151413173', 'https://openalex.org/W2157295888', 'https://openalex.org/W2161670619', 'https://openalex.org/W2613409654', 'https://openalex.org/W2620150568', 'https://openalex.org/W2911777915', 'https://openalex.org/W2936545064', 'https://openalex.org/W3013607954'], 'related_works': ['https://openalex.org/W3162919972', 'https://openalex.org/W2159543798', 'https://openalex.org/W2151413173', 'https://openalex.org/W2127035198', 'https://openalex.org/W2119708968', 'https://openalex.org/W2058014492', 'https://openalex.org/W2029693536', 'https://openalex.org/W1997859100', 'https://openalex.org/W1994676271', 'https://openalex.org/W1982325601', 'https://openalex.org/W1966212263', 'https://openalex.org/W1923391011', 'https://openalex.org/W1901278359', 'https://openalex.org/W1760594424', 'https://openalex.org/W1542059364', 'https://openalex.org/W1532150808', 'https://openalex.org/W1531644305', 'https://openalex.org/W1508967933', 'https://openalex.org/W1499934958', 'https://openalex.org/W1480122568'], 'abstract_inverted_index': {'Bridging': [0], 'the': [1, 53, 72, 98, 103, 108, 134, 156], 'gap': [2], 'between': [3], 'formal': [4, 59], 'methods': [5], 'and': [6, 63, 81, 90, 153, 174, 178, 195], 'cryptography': [7], 'has': [8, 38], 'recently': [9], 'received': [10], 'a': [11, 35, 43, 126, 130, 150, 184, 188], 'lot': [12], 'of': [13, 21, 118, 187], 'interest,': [14], 'i.e.,': [15], 'investigating': [16], 'to': [17, 78, 87], 'what': [18], 'extent': [19], 'proofs': [20], 'cryptographic': [22, 27, 54, 99, 104, 151, 193], 'protocols': [23, 55], 'made': [24], 'with': [25, 58, 192], 'abstracted': [26], 'operations': [28, 109], 'are': [29, 110], 'valid': [30], 'for': [31, 46, 52, 160], 'real': [32], 'implementations.': [33], 'However,': [34], 'major': [36, 135], 'goal': [37], 'not': [39, 111], 'been': [40], 'achieved': [41], 'yet:': [42], 'soundness': [44], 'proof': [45, 182], 'an': [47, 142], 'abstract': [48, 143], 'crypto-library': [49], 'as': [50], 'needed': [51], 'typically': [56], 'proved': [57], 'methods,': [60], 'e.g.,': [61], 'authentication': [62], 'key': [64], 'exchange': [65], 'protocols.': [66], 'Prior': [67, 94], 'work': [68, 95], 'that': [69, 107, 145, 155], 'directly': [70], 'justifies': [71], 'typical': [73], 'Dolev-Yao': [74], 'abstraction': [75, 157], 'is': [76, 85, 121, 158, 183], 'restricted': [77, 86], 'passive': [79, 88], 'adversaries': [80, 89], 'certain': [82, 91], 'protocol': [83, 92], 'environ-ion': [84], 'environments.': [93], 'starting': [96], 'from': [97], 'side': [100], 'entirely': [101], 'hides': [102], 'objects,': [105], 'so': [106], 'composable:': [112], 'While': [113], 'secure': [114], 'channels': [115], 'or': [116, 128], 'signing': [117], 'application': [119, 179], 'data': [120], 'modeled,': [122], 'one': [123], 'cannot': [124], 'encrypt': [125], 'signature': [127], 'sign': [129], 'key.': [131], 'We': [132, 140], 'make': [133], 'step': [136], 'towards': [137], 'this': [138], 'goal:': [139], 'specify': [141], 'cryptolibrary': [144], 'allows': [146], 'composed': [147], 'operations,': [148], 'define': [149], 'realization,': [152], 'prove': [154], 'sound': [159], 'arbitrary': [161, 165], 'active': [162], 'attacks': [163], 'in': [164], 'reactive': [166], 'scenarios.': [167], 'The': [168, 181], 'library': [169], 'currently': [170], 'contains': [171], 'public-key': [172], 'encryption': [173], 'signatures,': [175], 'nonces,': [176], 'lists,': [177], 'data.': [180], 'novel': [185], 'combination': [186], 'probabilistic,': [189], 'imperfect': [190], 'bisimulation': [191], 'reductions': [194], 'static': [196], 'information-flow': [197], 'analysis.': [198]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2400049039', 'counts_by_year': [{'year': 2024, 'cited_by_count': 1}, {'year': 2018, 'cited_by_count': 1}, {'year': 2017, 'cited_by_count': 2}, {'year': 2015, 'cited_by_count': 7}, {'year': 2014, 'cited_by_count': 2}, {'year': 2013, 'cited_by_count': 2}, {'year': 2012, 'cited_by_count': 5}], 'updated_date': '2024-12-08T13:58:51.197325', 'created_date': '2016-06-24'}