{"id":"https://openalex.org/W4414688267","doi":"https://doi.org/10.1145/3764860.3768333","title":"From Rust Till Run: Extending Memory Safety From Rust to Cryptographic Assembly","display_name":"From Rust Till Run: Extending Memory Safety From Rust to Cryptographic Assembly","publication_year":2025,"publication_date":"2025-10-01","ids":{"openalex":"https://openalex.org/W4414688267","doi":"https://doi.org/10.1145/3764860.3768333"},"language":"en","primary_location":{"id":"doi:10.1145/3764860.3768333","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3764860.3768333","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th Workshop on Programming Languages and Operating Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3764860.3768333","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040395896","display_name":"Shai Caspin","orcid":"https://orcid.org/0000-0003-4591-1767"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shai Caspin","raw_affiliation_strings":["Princeton University, Princeton, New Jersey, USA"],"raw_orcid":"https://orcid.org/0000-0003-4591-1767","affiliations":[{"raw_affiliation_string":"Princeton University, Princeton, New Jersey, USA","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070850893","display_name":"Nikhil Pimpalkhare","orcid":"https://orcid.org/0009-0000-5405-9129"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nikhil Pimpalkhare","raw_affiliation_strings":["Princeton University, Princeton, New Jersey, USA"],"raw_orcid":"https://orcid.org/0009-0000-5405-9129","affiliations":[{"raw_affiliation_string":"Princeton University, Princeton, New Jersey, USA","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078224627","display_name":"Amit Levy","orcid":"https://orcid.org/0000-0003-1479-8917"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Amit Levy","raw_affiliation_strings":["Princeton University, Princeton, New Jersey, USA"],"raw_orcid":"https://orcid.org/0000-0003-1479-8917","affiliations":[{"raw_affiliation_string":"Princeton University, Princeton, New Jersey, USA","institution_ids":["https://openalex.org/I20089843"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.7588,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.88789762,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"108","last_page":"117"},"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.9995999932289124,"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.9995999932289124,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9965000152587891,"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"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/rust","display_name":"Rust (programming language)","score":0.7433000206947327},{"id":"https://openalex.org/keywords/memory-safety","display_name":"Memory safety","score":0.6962000131607056},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5946000218391418},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.5871999859809875},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.492900013923645},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.46209999918937683},{"id":"https://openalex.org/keywords/assembly-language","display_name":"Assembly language","score":0.4287000000476837}],"concepts":[{"id":"https://openalex.org/C197781089","wikidata":"https://www.wikidata.org/wiki/Q575650","display_name":"Rust (programming language)","level":2,"score":0.7433000206947327},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.6962000131607056},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6401000022888184},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5946000218391418},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.5871999859809875},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5066999793052673},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.492900013923645},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.46209999918937683},{"id":"https://openalex.org/C50831359","wikidata":"https://www.wikidata.org/wiki/Q165436","display_name":"Assembly language","level":3,"score":0.4287000000476837},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.37400001287460327},{"id":"https://openalex.org/C166955791","wikidata":"https://www.wikidata.org/wiki/Q629579","display_name":"Macro","level":2,"score":0.3619999885559082},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.3440999984741211},{"id":"https://openalex.org/C18131444","wikidata":"https://www.wikidata.org/wiki/Q163585","display_name":"Memory protection","level":5,"score":0.310699999332428},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2897999882698059},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.2766999900341034},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.272599995136261},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.26969999074935913},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2639999985694885},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.2614000141620636},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.25999999046325684},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.25360000133514404}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3764860.3768333","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3764860.3768333","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th Workshop on Programming Languages and Operating Systems","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3764860.3768333","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3764860.3768333","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th Workshop on Programming Languages and Operating Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7571926519","display_name":null,"funder_award_id":"2303639,2443589,2039656","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":53,"referenced_works":["https://openalex.org/W1710734607","https://openalex.org/W2031373197","https://openalex.org/W2069107692","https://openalex.org/W2070775894","https://openalex.org/W2097444001","https://openalex.org/W2105842205","https://openalex.org/W2123825254","https://openalex.org/W2140566629","https://openalex.org/W2170598551","https://openalex.org/W2171834078","https://openalex.org/W2408027109","https://openalex.org/W2462805800","https://openalex.org/W2625141509","https://openalex.org/W2765284675","https://openalex.org/W2766545755","https://openalex.org/W2767162229","https://openalex.org/W2793146918","https://openalex.org/W2884325678","https://openalex.org/W2894135852","https://openalex.org/W2900188961","https://openalex.org/W2913530642","https://openalex.org/W2954549386","https://openalex.org/W2963723316","https://openalex.org/W2964540713","https://openalex.org/W2979528578","https://openalex.org/W3003637591","https://openalex.org/W3032952463","https://openalex.org/W3082765557","https://openalex.org/W3109383821","https://openalex.org/W3162678397","https://openalex.org/W3174754599","https://openalex.org/W3184568883","https://openalex.org/W3209913027","https://openalex.org/W4200421685","https://openalex.org/W4221048168","https://openalex.org/W4236007804","https://openalex.org/W4246117430","https://openalex.org/W4281916531","https://openalex.org/W4289038676","https://openalex.org/W4295290086","https://openalex.org/W4296880735","https://openalex.org/W4307731865","https://openalex.org/W4362661194","https://openalex.org/W4379522465","https://openalex.org/W4379536176","https://openalex.org/W4387664578","https://openalex.org/W4394744163","https://openalex.org/W4395020689","https://openalex.org/W4399851008","https://openalex.org/W4400121418","https://openalex.org/W4401596853","https://openalex.org/W4403223368","https://openalex.org/W4404400748"],"related_works":[],"abstract_inverted_index":{"Memory":[0],"safety":[1,24,75,132],"is":[2,18,43,84,148],"an":[3],"important":[4],"property":[5],"for":[6,30,63],"security-critical":[7],"systems,":[8],"but":[9,37],"it":[10,42],"cannot":[11],"be":[12],"easily":[13],"extended":[14],"to":[15,92,111,116],"cryptography,":[16,66],"which":[17],"a":[19,46,136],"common":[20],"source":[21],"of":[22,33,58,133],"memory":[23,131],"vulnerabilities.":[25],"Cryptography":[26],"libraries":[27],"use":[28],"assembly":[29,38,59,73,134],"direct":[31],"control":[32],"timing":[34],"and":[35,55,96,118,123,144,150,156],"performance,":[36],"introduces":[39],"unsafety":[40],"when":[41],"called":[44],"from":[45,79,135],"high-level":[47],"memory-safe":[48,65],"language":[49],"like":[50],"Rust.":[51],"To":[52],"enable":[53],"quick":[54,149],"safe":[56,113],"integration":[57],"into":[60],"Rust,":[61],"specifically":[62],"building":[64],"we":[67],"present":[68],"CLAMS.":[69],"CLAMS":[70,143],"verifies":[71],"cryptographic":[72],"against":[74],"constraints":[76],"derived":[77],"directly":[78],"Rust's":[80],"type":[81],"system.":[82],"Verification":[83],"done":[85],"through":[86],"symbolic":[87],"execution":[88],"at":[89],"compile":[90],"time":[91],"minimize":[93],"run-time":[94,158],"overheads,":[95],"supports":[97],"verifying":[98],"loops":[99],"over":[100],"potentially":[101],"unbounded":[102],"input":[103,122],"buffers.":[104],"CLAMS's":[105,126],"procedural":[106],"macro":[107],"interface":[108],"forces":[109],"developers":[110],"map":[112],"Rust":[114],"types":[115],"registers":[117],"define":[119],"preconditions":[120],"on":[121],"output":[124],"parameters.":[125],"techniques":[127],"can":[128],"verify":[129],"the":[130],"popular":[137],"open-source":[138],"cryptography":[139],"library.":[140],"We":[141],"evaluated":[142],"found":[145],"that":[146],"verification":[147],"imposes":[151],"compile-time":[152],"overheads":[153],"under":[154],"100ms":[155],"negligible":[157],"overheads.":[159]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}