{"id":"https://openalex.org/W2124371467","doi":"https://doi.org/10.1145/1345189.1345205","title":"Logical concepts in cryptography","display_name":"Logical concepts in cryptography","publication_year":2007,"publication_date":"2007-12-01","ids":{"openalex":"https://openalex.org/W2124371467","doi":"https://doi.org/10.1145/1345189.1345205","mag":"2124371467"},"language":"en","primary_location":{"id":"doi:10.1145/1345189.1345205","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1345189.1345205","pdf_url":null,"source":{"id":"https://openalex.org/S4210206003","display_name":"ACM SIGACT News","issn_l":"0163-5700","issn":["0163-5700","1943-5827"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGACT News","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084615644","display_name":"Simon Kramer","orcid":"https://orcid.org/0000-0003-3665-7568"},"institutions":[{"id":"https://openalex.org/I142476485","display_name":"\u00c9cole Polytechnique","ror":"https://ror.org/05hy3tk52","country_code":"FR","type":"education","lineage":["https://openalex.org/I142476485","https://openalex.org/I4210145102"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Simon Kramer","raw_affiliation_strings":["Ecole Polytechnique, Paris, France"],"affiliations":[{"raw_affiliation_string":"Ecole Polytechnique, Paris, France","institution_ids":["https://openalex.org/I142476485"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5084615644"],"corresponding_institution_ids":["https://openalex.org/I142476485"],"apc_list":null,"apc_paid":null,"fwci":3.2088,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.92517119,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"38","issue":"4","first_page":"65","last_page":"66"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10927","display_name":"Access Control and Trust","score":0.9923999905586243,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7313144207000732},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.6777298450469971},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.580102801322937},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.5628777742385864},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.5373825430870056},{"id":"https://openalex.org/keywords/cryptographic-primitive","display_name":"Cryptographic primitive","score":0.5302284359931946},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.5293208956718445},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.43560653924942017},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.42814749479293823},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3048456311225891},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.25677791237831116},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21488794684410095}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7313144207000732},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.6777298450469971},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.580102801322937},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.5628777742385864},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.5373825430870056},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.5302284359931946},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.5293208956718445},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.43560653924942017},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.42814749479293823},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3048456311225891},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.25677791237831116},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21488794684410095},{"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":[{"id":"doi:10.1145/1345189.1345205","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1345189.1345205","pdf_url":null,"source":{"id":"https://openalex.org/S4210206003","display_name":"ACM SIGACT News","issn_l":"0163-5700","issn":["0163-5700","1943-5827"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGACT News","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.6899999976158142,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":102,"referenced_works":["https://openalex.org/W10909475","https://openalex.org/W13928559","https://openalex.org/W67051990","https://openalex.org/W94495224","https://openalex.org/W579310045","https://openalex.org/W647513699","https://openalex.org/W1485990531","https://openalex.org/W1489227129","https://openalex.org/W1489891289","https://openalex.org/W1490590996","https://openalex.org/W1493799155","https://openalex.org/W1499934958","https://openalex.org/W1506588809","https://openalex.org/W1516526114","https://openalex.org/W1520770687","https://openalex.org/W1523399375","https://openalex.org/W1526328753","https://openalex.org/W1538657331","https://openalex.org/W1539607284","https://openalex.org/W1544787586","https://openalex.org/W1548880861","https://openalex.org/W1554618854","https://openalex.org/W1561144355","https://openalex.org/W1564466854","https://openalex.org/W1566400168","https://openalex.org/W1581458632","https://openalex.org/W1582292473","https://openalex.org/W1588668163","https://openalex.org/W1597908183","https://openalex.org/W1601380368","https://openalex.org/W1604627363","https://openalex.org/W1607134907","https://openalex.org/W1607643969","https://openalex.org/W1660562555","https://openalex.org/W1760594424","https://openalex.org/W1773609568","https://openalex.org/W1798924124","https://openalex.org/W1836114257","https://openalex.org/W1906710615","https://openalex.org/W1949723230","https://openalex.org/W1970606468","https://openalex.org/W1973045663","https://openalex.org/W1973054120","https://openalex.org/W1974817955","https://openalex.org/W1987035270","https://openalex.org/W1988422114","https://openalex.org/W1990941870","https://openalex.org/W1991305430","https://openalex.org/W1994676271","https://openalex.org/W2001539364","https://openalex.org/W2009552408","https://openalex.org/W2010939995","https://openalex.org/W2016443801","https://openalex.org/W2018812956","https://openalex.org/W2026329508","https://openalex.org/W2029693536","https://openalex.org/W2031130420","https://openalex.org/W2036707990","https://openalex.org/W2043468053","https://openalex.org/W2046551143","https://openalex.org/W2049129243","https://openalex.org/W2070207454","https://openalex.org/W2072189420","https://openalex.org/W2073385346","https://openalex.org/W2093397547","https://openalex.org/W2093916942","https://openalex.org/W2097913369","https://openalex.org/W2100824083","https://openalex.org/W2104655005","https://openalex.org/W2112240651","https://openalex.org/W2113599658","https://openalex.org/W2113999696","https://openalex.org/W2117413194","https://openalex.org/W2119422255","https://openalex.org/W2124209077","https://openalex.org/W2127035198","https://openalex.org/W2128747615","https://openalex.org/W2140665129","https://openalex.org/W2141826787","https://openalex.org/W2145415641","https://openalex.org/W2146819619","https://openalex.org/W2153734519","https://openalex.org/W2156773905","https://openalex.org/W2156866532","https://openalex.org/W2159256409","https://openalex.org/W2159543798","https://openalex.org/W2159793247","https://openalex.org/W2160675873","https://openalex.org/W2161093351","https://openalex.org/W2161246822","https://openalex.org/W2164467160","https://openalex.org/W2167467151","https://openalex.org/W2174699955","https://openalex.org/W2224085299","https://openalex.org/W2336123333","https://openalex.org/W2340735175","https://openalex.org/W2582697902","https://openalex.org/W2610670723","https://openalex.org/W2613212056","https://openalex.org/W2870190769","https://openalex.org/W3162919972","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2366094674","https://openalex.org/W2904818008","https://openalex.org/W2904314268","https://openalex.org/W57958781","https://openalex.org/W1554274402","https://openalex.org/W2361781577","https://openalex.org/W1488313539","https://openalex.org/W2165735","https://openalex.org/W1583463787","https://openalex.org/W1971318400"],"abstract_inverted_index":{"The":[0,60,107],"thesis":[1],"is":[2,112,125,180,197,299],"about":[3],"a":[4,20,118,209,294],"breadth-first":[5],"exploration":[6],"of":[7,37,42,48,72,110,120,128,132,145,205,211,220,230,262,267,283,289,312],"logical":[8,22,61],"concepts":[9,62,71],"in":[10,19],"cryptography":[11],"and":[12,16,51,78,87,93,100,104,116,136,169,182,232,252,280,303],"their":[13],"linguistic":[14],"abstraction":[15],"model-theoretic":[17],"combination":[18],"comprehensive":[21],"system,":[23],"called":[24],"CPL":[25,111,146,157,207],"(for":[26],"Cryptographic":[27],"Protocol":[28],"Logic":[29],").":[30,59],"We":[31,141,216],"focus":[32],"on":[33,147,225,272,277],"two":[34],"fundamental":[35,231],"aspects":[36],"cryptography.":[38],"Namely,":[39],"the":[40,65,69,126,143,218,287],"security":[41,47,261],"communication":[43],"(as":[44,54],"opposed":[45,55],"to":[46,56,174,193,293],"storage":[49],")":[50],"cryptographic":[52,57,297],"protocols":[53,298],"operators":[58],"explored":[63],"are":[64],"following.":[66],"Primary":[67],"concepts:":[68,81,236,259],"modal":[70],"belief,":[73],"knowledge,":[74,89],"norms,":[75,91],"provability,":[76],"space,":[77],"time.":[79],"Secondary":[80],"belief":[82],"with":[83,160,208,307],"error":[84],"control,":[85],"individual":[86],"propositional":[88],"confidentiality":[90],"truth-functional":[92],"relevant":[94],"(in":[95],"particular,":[96],"intuitionistic)":[97],"implication,":[98],"multiple":[99],"complex":[101],"truth":[102],"values,":[103],"program":[105],"types.":[106],"distinguishing":[108],"feature":[109,124],"that":[113,189],"it":[114],"unifies":[115],"refines":[117],"variety":[119],"existing":[121,314],"approaches.":[122],"This":[123],"result":[127],"our":[129],"wholistic":[130],"conception":[131],"property-based":[133],"(modal":[134],"logics)":[135],"model-based":[137],"(process":[138],"algebra)":[139],"formalisms.":[140],"illustrate":[142,217],"expressiveness":[144,219],"representative":[148],"requirements":[149],"engineering":[150],"case":[151,228],"studies.":[152],"Further,":[153],"we":[154,201],"extend":[155],"(core)":[156,206],"(qualitative":[158],"time)":[159],"rational-valued":[161],"time":[162,165,192],",":[163],"i.e.,":[164],"stamps,":[166],"timed":[167],"keys,":[168],"potentially":[170],"drifting":[171],"local":[172],"clocks,":[173],"tCPL":[175],"(quantitative":[176],"time).":[177],"Our":[178],"extension":[179,204,311],"conservative":[181],"provides":[183],"further":[184],"evidence":[185],"for":[186,296],"Lamport's":[187],"claim":[188],"adding":[190,291],"real":[191],"an":[194,203,308,313],"untimed":[195],"formalism":[196,295],"really":[198],"simple.":[199],"Furthermore,":[200],"sketch":[202],"notion":[210],"probabilistic":[212],"polynomial-time":[213],"(PP)":[214],"computation.":[215],"this":[221],"extended":[222],"logic":[223],"(ppCPL)":[224],"tentative":[226],"formalisation":[227],"studies":[229],"applied":[233],"concepts.":[234],"Fundamental":[235],"(1)":[237,260],"one-way":[238],"function,":[239],"(2)":[240,265],"hard-core":[241],"predicate,":[242],"(3)":[243,270],"computational":[244],"indistinguishability,":[245],"(4)":[246,275],"(":[247,254],"n":[248,255],"-party)":[249],"interactive":[250],"proof,":[251],"(5)":[253,281],"-prover)":[256],"zero-knowledge.":[257],"Applied":[258],"encryption":[263,273],"schemes,":[264,269,274,279],"unforgeability":[266],"signature":[268,278,284],"attacks":[271,276],"breaks":[282],"schemes.":[285],"In":[286],"light":[288],"logic,":[290,316],"PP":[292],"perhaps":[300],"also":[301],"simple":[302],"can":[304],"be":[305],"achieved":[306],"Ockham's":[309],"razor":[310],"core":[315],"namely":[317],"CPL.":[318]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}