{"id":"https://openalex.org/W3043183386","doi":"https://doi.org/10.1007/s10817-020-09566-9","title":"CoCon: A Conference Management System with Formally Verified Document Confidentiality","display_name":"CoCon: A Conference Management System with Formally Verified Document Confidentiality","publication_year":2020,"publication_date":"2020-07-16","ids":{"openalex":"https://openalex.org/W3043183386","doi":"https://doi.org/10.1007/s10817-020-09566-9","mag":"3043183386"},"language":"en","primary_location":{"id":"doi:10.1007/s10817-020-09566-9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10817-020-09566-9","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10817-020-09566-9.pdf","source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10817-020-09566-9.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064907118","display_name":"Andrei Popescu","orcid":"https://orcid.org/0000-0001-8747-0619"},"institutions":[{"id":"https://openalex.org/I60488453","display_name":"Middlesex University","ror":"https://ror.org/01rv4p989","country_code":"GB","type":"education","lineage":["https://openalex.org/I60488453"]},{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Andrei Popescu","raw_affiliation_strings":["Department of Computer Science, Middlesex University London, London, UK","Department of Computer Science, University of Sheffield, Sheffield, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Middlesex University London, London, UK","institution_ids":["https://openalex.org/I60488453"]},{"raw_affiliation_string":"Department of Computer Science, University of Sheffield, Sheffield, UK","institution_ids":["https://openalex.org/I91136226"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082037264","display_name":"Peter Lammich","orcid":"https://orcid.org/0000-0003-3576-0504"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Peter Lammich","raw_affiliation_strings":["Department of Computer Science, The University of Manchester, Manchester, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Manchester, Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016759739","display_name":"Ping Hou","orcid":"https://orcid.org/0000-0003-2783-0728"},"institutions":[{"id":"https://openalex.org/I190249584","display_name":"Universit\u00e4t Innsbruck","ror":"https://ror.org/054pv6659","country_code":"AT","type":"education","lineage":["https://openalex.org/I190249584"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Ping Hou","raw_affiliation_strings":["Department of Computer Science, University of Innsbruck, Innsbruck, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Innsbruck, Innsbruck, Austria","institution_ids":["https://openalex.org/I190249584"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5064907118"],"corresponding_institution_ids":["https://openalex.org/I60488453","https://openalex.org/I91136226"],"apc_list":{"value":2890,"currency":"USD","value_usd":2890},"apc_paid":{"value":2890,"currency":"USD","value_usd":2890},"fwci":0.1341,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.58136602,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"65","issue":"2","first_page":"321","last_page":"356"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998999834060669,"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/T11424","display_name":"Security and Verification in Computing","score":0.9998999834060669,"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/T10927","display_name":"Access Control and Trust","score":0.9919999837875366,"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"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9876999855041504,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/computer-science","display_name":"Computer science","score":0.7235618829727173},{"id":"https://openalex.org/keywords/confidentiality","display_name":"Confidentiality","score":0.6425938606262207},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5842062830924988},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5225641131401062},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.5091444849967957},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4880737066268921},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.48368459939956665},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.45967820286750793},{"id":"https://openalex.org/keywords/information-flow","display_name":"Information flow","score":0.425743043422699},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.4226733446121216},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.32680708169937134},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.20124417543411255},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17043814063072205}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7235618829727173},{"id":"https://openalex.org/C71745522","wikidata":"https://www.wikidata.org/wiki/Q2476929","display_name":"Confidentiality","level":2,"score":0.6425938606262207},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5842062830924988},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5225641131401062},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.5091444849967957},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4880737066268921},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.48368459939956665},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.45967820286750793},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.425743043422699},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.4226733446121216},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32680708169937134},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.20124417543411255},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17043814063072205},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/s10817-020-09566-9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10817-020-09566-9","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10817-020-09566-9.pdf","source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/e0a4113d-8cec-4690-8912-6e280bb4c69d","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/e0a4113d-8cec-4690-8912-6e280bb4c69d","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Popescu, A, Lammich, P & Hou, P 2020, 'CoCon: A Conference Management System with Formally Verified Document Confidentiality', Journal of Automated Reasoning. https://doi.org/10.1007/s10817-020-09566-9","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:eprints.mdx.ac.uk:32168","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400025","display_name":"Middlesex University Research Repository (Middlesex University Of London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I60488453","host_organization_name":"Middlesex University","host_organization_lineage":["https://openalex.org/I60488453"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:pure.atira.dk:publications/e0a4113d-8cec-4690-8912-6e280bb4c69d","is_oa":true,"landing_page_url":"http://link.springer.com/10.1007/s10817-020-09566-9","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Popescu, A, Lammich, P & Hou, P 2020, 'CoCon: A Conference Management System with Formally Verified Document Confidentiality', Journal of Automated Reasoning. https://doi.org/10.1007/s10817-020-09566-9","raw_type":"article"},{"id":"pmh:oai:ris.utwente.nl:publications/cf04eeda-3966-4e9a-8f5a-fbcd38cfdb5f","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/cf04eeda-3966-4e9a-8f5a-fbcd38cfdb5f","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"doi:10.1007/s10817-020-09566-9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10817-020-09566-9","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10817-020-09566-9.pdf","source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7200000286102295}],"awards":[{"id":"https://openalex.org/G5096475281","display_name":"Verification of Web-based Systems (VOWS)","funder_award_id":"EP/N019547/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5376235828","display_name":null,"funder_award_id":"SPP 1496","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G6183576995","display_name":null,"funder_award_id":"EP/N019547/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320342","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3043183386.pdf","grobid_xml":"https://content.openalex.org/works/W3043183386.grobid-xml"},"referenced_works_count":82,"referenced_works":["https://openalex.org/W45492218","https://openalex.org/W64027241","https://openalex.org/W114581357","https://openalex.org/W140235344","https://openalex.org/W238001728","https://openalex.org/W258022877","https://openalex.org/W266135116","https://openalex.org/W1213177963","https://openalex.org/W1434079718","https://openalex.org/W1503973138","https://openalex.org/W1506992325","https://openalex.org/W1523874359","https://openalex.org/W1530366124","https://openalex.org/W1547129189","https://openalex.org/W1699577049","https://openalex.org/W1819958245","https://openalex.org/W1866799138","https://openalex.org/W1890046864","https://openalex.org/W1961432666","https://openalex.org/W1972999341","https://openalex.org/W1973641744","https://openalex.org/W1975091280","https://openalex.org/W1977764760","https://openalex.org/W1988079752","https://openalex.org/W1991895580","https://openalex.org/W1995290095","https://openalex.org/W2006731094","https://openalex.org/W2023035194","https://openalex.org/W2025429468","https://openalex.org/W2035980452","https://openalex.org/W2036463966","https://openalex.org/W2071599766","https://openalex.org/W2076409494","https://openalex.org/W2080914957","https://openalex.org/W2095762545","https://openalex.org/W2098820900","https://openalex.org/W2101827827","https://openalex.org/W2106192381","https://openalex.org/W2108776769","https://openalex.org/W2109332509","https://openalex.org/W2111694879","https://openalex.org/W2113660296","https://openalex.org/W2122049982","https://openalex.org/W2128995870","https://openalex.org/W2152744480","https://openalex.org/W2155317744","https://openalex.org/W2155429317","https://openalex.org/W2162553649","https://openalex.org/W2162755110","https://openalex.org/W2165078378","https://openalex.org/W2165304392","https://openalex.org/W2208744237","https://openalex.org/W2228110606","https://openalex.org/W2279061002","https://openalex.org/W2294020834","https://openalex.org/W2295903522","https://openalex.org/W2340406763","https://openalex.org/W2394519125","https://openalex.org/W2396205667","https://openalex.org/W2508816844","https://openalex.org/W2532257757","https://openalex.org/W2617413542","https://openalex.org/W2617606417","https://openalex.org/W2625599531","https://openalex.org/W2628854485","https://openalex.org/W2701512049","https://openalex.org/W2725468844","https://openalex.org/W2751848028","https://openalex.org/W2775081510","https://openalex.org/W2794674744","https://openalex.org/W2796561738","https://openalex.org/W2964335063","https://openalex.org/W3102410487","https://openalex.org/W3140030144","https://openalex.org/W4211218509","https://openalex.org/W4231397371","https://openalex.org/W4240497447","https://openalex.org/W4250846042","https://openalex.org/W4250850800","https://openalex.org/W4251301725","https://openalex.org/W4256407769","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W3183948672","https://openalex.org/W3173606202","https://openalex.org/W3110381201","https://openalex.org/W1531601525","https://openalex.org/W2746280673","https://openalex.org/W1488840222","https://openalex.org/W1594593035","https://openalex.org/W2152996796","https://openalex.org/W2560415449","https://openalex.org/W2070992110"],"abstract_inverted_index":{"Abstract":[0],"We":[1,31],"present":[2],"a":[3,23,68],"case":[4],"study":[5],"in":[6,58],"formally":[7],"verified":[8],"security":[9,16,66,70],"for":[10],"realistic":[11],"systems:":[12],"the":[13,19,26,33],"information":[14],"flow":[15],"verification":[17,73],"of":[18,22,60],"functional":[20],"kernel":[21],"web":[24],"application,":[25],"CoCon":[27],"conference":[28],"management":[29],"system.":[30],"use":[32],"Isabelle":[34],"theorem":[35],"prover":[36],"to":[37,64,77],"specify":[38],"and":[39,49,72],"verify":[40],"fine-grained":[41],"confidentiality":[42],"properties,":[43],"as":[44,46,80],"well":[45],"complementary":[47],"safety":[48],"\u201ctraceback\u201d":[50],"properties.":[51],"The":[52],"challenges":[53],"posed":[54],"by":[55],"this":[56],"development":[57],"terms":[59],"expressiveness":[61],"have":[62],"led":[63],"bounded-deducibility":[65],",":[67],"novel":[69],"model":[71],"method":[74],"generally":[75],"applicable":[76],"systems":[78],"describable":[79],"input/output":[81],"automata.":[82]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}