{"id":"https://openalex.org/W2565385643","doi":"https://doi.org/10.13016/m2b50g","title":"Language-based Techniques for Practical and Trustworthy Secure Multi-party Computations","display_name":"Language-based Techniques for Practical and Trustworthy Secure Multi-party Computations","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2565385643","doi":"https://doi.org/10.13016/m2b50g","mag":"2565385643"},"language":"en","primary_location":{"id":"pmh:oai:drum.lib.umd.edu:1903/18541","is_oa":true,"landing_page_url":"https://doi.org/10.13016/M2B50G","pdf_url":"http://hdl.handle.net/1903/18541","source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dissertation"},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/1903/18541","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102801489","display_name":"Aseem Rastogi","orcid":"https://orcid.org/0000-0003-3283-8011"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Rastogi, Aseem","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5102801489"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9833999872207642,"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.9833999872207642,"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/T10237","display_name":"Cryptography and Data Security","score":0.9793999791145325,"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/T11614","display_name":"Cloud Data Security Solutions","score":0.9534000158309937,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/trustworthiness","display_name":"Trustworthiness","score":0.8583014011383057},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6824499368667603},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5194151401519775},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5079444050788879},{"id":"https://openalex.org/keywords/internet-privacy","display_name":"Internet privacy","score":0.3533153533935547},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22835037112236023}],"concepts":[{"id":"https://openalex.org/C153701036","wikidata":"https://www.wikidata.org/wiki/Q659974","display_name":"Trustworthiness","level":2,"score":0.8583014011383057},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6824499368667603},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5194151401519775},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5079444050788879},{"id":"https://openalex.org/C108827166","wikidata":"https://www.wikidata.org/wiki/Q175975","display_name":"Internet privacy","level":1,"score":0.3533153533935547},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22835037112236023}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:drum.lib.umd.edu:1903/18541","is_oa":true,"landing_page_url":"https://doi.org/10.13016/M2B50G","pdf_url":"http://hdl.handle.net/1903/18541","source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dissertation"},{"id":"mag:2565385643","is_oa":false,"landing_page_url":"https://drum.lib.umd.edu/bitstream/1903/18541/1/Rastogi_umd_0117E_17248.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null},{"id":"doi:10.13016/m2b50g","is_oa":true,"landing_page_url":"https://doi.org/10.13016/m2b50g","pdf_url":null,"source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"thesis"}],"best_oa_location":{"id":"pmh:oai:drum.lib.umd.edu:1903/18541","is_oa":true,"landing_page_url":"https://doi.org/10.13016/M2B50G","pdf_url":"http://hdl.handle.net/1903/18541","source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dissertation"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2565385643.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2526958426","https://openalex.org/W1515405634","https://openalex.org/W626697874","https://openalex.org/W2298915472","https://openalex.org/W2267438517","https://openalex.org/W2242106567","https://openalex.org/W2521755075","https://openalex.org/W2520009345","https://openalex.org/W2287959512","https://openalex.org/W2602701185"],"abstract_inverted_index":{"Secure":[0],"Multi-party":[1],"Computation":[2],"(MPC)":[3],"enables":[4,339,384],"a":[5,15,22,98,155,205,247,269,288,309,324,372],"set":[6,50],"of":[7,59,94,100,111,201,216,224,246,273,320,349],"parties":[8],"to":[9,90,126,148,173,208,232,341,362,376,388],"collaboratively":[10],"compute,":[11],"using":[12,197],"cryptographic":[13],"protocols,":[14],"function":[16],"over":[17,45,129,265],"their":[18,350],"private":[19,47,49],"data":[20],"in":[21,81,97,144,154,190,322],"way":[23],"that":[24,219,415],"the":[25,36,92,95,104,135,145,159,162,187,194,202,210,214,222,242,306,344,359,385,398,410,431],"participants":[26],"do":[27],"not":[28,170],"see":[29,35],"each":[30],"other's":[31],"data,":[32,48],"they":[33],"only":[34],"final":[37],"output.":[38],"Typical":[39],"MPC":[40,63,89,139,152,211,234,249,259,302,367,378,386,419,423],"examples":[41,58],"include":[42],"statistical":[43],"computations":[44,122],"joint":[46,117],"intersection,":[51],"and":[52,71,116,182,193,237,244,287,293,346,380,407],"auctions.":[53],"While":[54],"these":[55,166],"applications":[56,64,153,177],"are":[57,123,168],"monolithic":[60,130,418,432],"MPC,":[61],"richer":[62],"move":[65],"between":[66],"\"normal\"":[67],"(i.e.,":[68,73],"per-party":[69],"local)":[70],"\"secure\"":[72],"joint,":[74],"multi-party":[75],"secure)":[76],"modes":[77],"repeatedly,":[78],"resulting":[79],"overall":[80],"mixed-mode":[82,176,258,422],"computations.":[83,132],"For":[84],"example,":[85],"we":[86,298,355],"might":[87],"use":[88],"implement":[91],"role":[93],"dealer":[96],"game":[99,105],"mental":[101],"poker":[102],"--":[103],"will":[106],"be":[107],"divided":[108],"into":[109,421],"rounds":[110],"local":[112],"decision-making":[113],"(e.g.":[114,119],"bidding)":[115],"interaction":[118],"dealing).":[120],"Mixed-mode":[121],"also":[124],"used":[125],"improve":[127],"performance":[128],"secure":[131],"Starting":[133],"with":[134,390],"Fairplay":[136],"project,":[137],"several":[138,263,301],"frameworks":[140,167,203],"have":[141,299],"been":[142],"proposed":[143],"last":[146],"decade":[147],"help":[149,416],"programmers":[150,340],"write":[151],"high-level":[156,282],"language,":[157],"while":[158,425],"toolchain":[160,207,375],"manages":[161],"low-level":[163],"details.":[164],"However,":[165],"either":[169],"expressive":[171],"enough":[172],"allow":[174],"writing":[175,256],"or":[178],"lack":[179],"formal":[180],"specification,":[181],"reasoning":[183],"capabilities,":[184],"thereby":[185,402],"diminishing":[186],"parties'":[188,225],"trust":[189],"such":[191],"tools,":[192],"programs":[195,387,420],"written":[196],"them.":[198],"Furthermore,":[199],"none":[200],"provides":[204,262,371],"verified":[206,374],"run":[209,377],"programs,":[212,379,424],"leaving":[213],"potential":[215],"security":[217,347],"holes":[218],"can":[220],"compromise":[221],"privacy":[223,428],"data.":[226],"This":[227],"dissertation":[228,314,411],"presents":[229,241,316],"language-based":[230],"techniques":[231],"make":[233],"more":[235,278,405],"practical":[236],"trustworthy.":[238],"First,":[239],"it":[240,404],"design":[243],"implementation":[245],"new":[248],"Domain":[250],"Specific":[251],"Language,":[252],"called":[253],"Wysteria,":[254,297],"for":[255,277,284,305,366],"rich":[257],"applications.":[260],"Wysteria":[261,321,333],"benefits":[264],"previous":[266],"languages,":[267],"including":[268],"conceptual":[270],"single":[271],"thread":[272],"control,":[274],"generic":[275],"support":[276],"than":[279],"two":[280],"parties,":[281],"abstractions":[283],"secret":[285],"shares,":[286],"fully":[289],"formalized":[290],"type":[291],"system":[292],"operational":[294],"semantics.":[295],"Using":[296],"implemented":[300],"applications,":[303],"including,":[304],"first":[307,360],"time,":[308],"card":[310],"dealing":[311],"application.":[312],"The":[313],"next":[315],"Wys*,":[317],"an":[318],"embedding":[319],"F*,":[323,401],"full-featured":[325],"verification":[326,364],"oriented":[327],"programming":[328],"language.":[329],"Wys*":[330,357],"improves":[331],"on":[332],"along":[334],"three":[335],"lines:":[336],"(a)":[337],"It":[338,370,383],"formally":[342],"verify":[343],"correctness":[345],"properties":[348],"programs.":[351,368],"As":[352],"far":[353],"as":[354,430],"know,":[356],"is":[358],"language":[361,395,400],"provide":[363],"capabilities":[365],"(b)":[369],"partially":[373],"finally":[381],"(c)":[382],"use,":[389],"no":[391],"extra":[392],"effort,":[393],"standard":[394],"constructs":[396],"from":[397],"host":[399],"making":[403],"usable":[406],"scalable.":[408],"Finally,":[409],"develops":[412],"static":[413],"analyses":[414],"optimize":[417],"providing":[426],"similar":[427],"guarantees":[429],"versions.":[433]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}