{"id":"https://openalex.org/W2040470195","doi":"https://doi.org/10.1145/1315580.1315586","title":"MF1","display_name":"MF1","publication_year":2007,"publication_date":"2007-11-04","ids":{"openalex":"https://openalex.org/W2040470195","doi":"https://doi.org/10.1145/1315580.1315586","mag":"2040470195"},"language":"en","primary_location":{"id":"doi:10.1145/1315580.1315586","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1315580.1315586","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2007 ACM international conference on SIGAda annual international conference","raw_type":"proceedings-article"},"type":"conference-paper","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/A5009871351","display_name":"Roderick Chapman","orcid":"https://orcid.org/0000-0003-2717-760X"},"institutions":[{"id":"https://openalex.org/I4210093794","display_name":"Praxis (United Kingdom)","ror":"https://ror.org/00n0f0m43","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210093794"]},{"id":"https://openalex.org/I924572780","display_name":"Praxis","ror":"https://ror.org/00b8kjk28","country_code":"EE","type":"nonprofit","lineage":["https://openalex.org/I924572780"]}],"countries":["EE","GB"],"is_corresponding":true,"raw_author_name":"Rod Chapman","raw_affiliation_strings":["Praxis Critical Systems Ltd., UK","Praxis Critical Systems Ltd., UK#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Praxis Critical Systems Ltd., UK","institution_ids":["https://openalex.org/I4210093794"]},{"raw_affiliation_string":"Praxis Critical Systems Ltd., UK#TAB#","institution_ids":["https://openalex.org/I924572780"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5009871351"],"corresponding_institution_ids":["https://openalex.org/I4210093794","https://openalex.org/I924572780"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.10080896,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"5","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9954000115394592,"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.9947999715805054,"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.8578070402145386}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8578070402145386}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1315580.1315586","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1315580.1315586","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2007 ACM international conference on SIGAda annual international conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":{"Practising":[0],"software":[1,12,27,51,79,91],"engineers,":[2],"programme":[3],"managers,":[4],"and":[5,93,123,146,157,169],"those":[6],"involved":[7],"with":[8,135],"procurement":[9],"of":[10,23,39,48,56,63,74,117,154,166],"high-integrity":[11],"systems":[13,208],"might":[14,28],"attend":[15],"this":[16,96],"tutorial.":[17],"Some":[18],"background":[19],"in":[20,45,60,71,90,204],"the":[21,37,46,54,61,72,103,115,143,147,155,192,210,217],"development":[22,47,62],"safety-":[24],"or":[25],"security-critical":[26],"be":[29,107,128,133],"useful,":[30],"but":[31,95],"not":[32],"essential.This":[33],"tutorial":[34,97,131,199],"will":[35,98,127,132,200],"cover":[36],"use":[38,55],"Correctness":[40],"by":[41,83,87,191,214],"Construction":[42],"(CbyC)":[43],"techniques":[44],"highly":[49,75],"secure":[50,76,207],"systems.":[52,77],"While":[53],"CbyC":[57,138,211],"is":[58,152],"well-known":[59],"safety-related":[64],"systems,":[65],"it":[66],"has":[67],"also":[68],"been":[69,187],"deployed":[70],"domain":[73,105],"The":[78,130,164],"world":[80],"seems":[81],"plagued":[82],"security":[84,139,151],"problems":[85,184],"caused":[86],"basic":[88],"mistakes":[89],"design":[92],"construction,":[94],"show":[99],"how":[100],"practices":[101],"from":[102],"safety-critical":[104,193],"can":[106],"used":[108],"to":[109,137],"tackle":[110],"these":[111,182],"problems.":[112],"In":[113],"particular,":[114],"role":[116],"formal":[118],"methods,":[119],"programming":[120],"language":[121],"design,":[122],"strong":[124],"static":[125],"verification":[126],"covered.":[129],"illustrated":[134],"reference":[136],"projects":[140],"such":[141],"as":[142],"MULTOS":[144],"CA":[145],"NSA":[148],"Tokeneer":[149],"system.Software":[150],"one":[153],"highest-profile":[156],"most":[158],"important":[159],"topics":[160],"facing":[161],"researchers":[162],"today.":[163],"plague":[165],"buffer":[167],"overflow":[168],"similar":[170],"attacks":[171],"that":[172,185],"we":[173],"read":[174],"about":[175],"every":[176],"day":[177],"seem":[178],"almost":[179],"endemic,":[180],"yet":[181],"are":[183],"have":[186],"faced":[188],"(and":[189],"solved)":[190],"community":[194],"for":[195],"many":[196],"years.":[197,220],"This":[198],"recount":[201],"our":[202],"experience":[203],"building":[205],"high-grade":[206],"using":[209],"approach":[212],"developed":[213],"Praxis":[215],"over":[216],"last":[218],"15":[219]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2016-06-24T00:00:00"}