{"id":"https://openalex.org/W4230712995","doi":"https://doi.org/10.3233/jcs-2011-0441","title":"Guest Editor's Preface","display_name":"Guest Editor's Preface","publication_year":2011,"publication_date":"2011-12-23","ids":{"openalex":"https://openalex.org/W4230712995","doi":"https://doi.org/10.3233/jcs-2011-0441"},"language":"en","primary_location":{"id":"doi:10.3233/jcs-2011-0441","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcs-2011-0441","pdf_url":null,"source":{"id":"https://openalex.org/S106992369","display_name":"Journal of Computer Security","issn_l":"0926-227X","issn":["0926-227X","1875-8924"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Security","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/A5023540661","display_name":"Dimitris Gritzalis","orcid":"https://orcid.org/0000-0002-7793-6128"},"institutions":[{"id":"https://openalex.org/I73142707","display_name":"Athens University of Economics and Business","ror":"https://ror.org/03s262162","country_code":"GR","type":"education","lineage":["https://openalex.org/I73142707"]}],"countries":["GR"],"is_corresponding":true,"raw_author_name":"Dimitris Gritzalis","raw_affiliation_strings":["Department of Informatics, Athens University of Economics and Business"],"affiliations":[{"raw_affiliation_string":"Department of Informatics, Athens University of Economics and Business","institution_ids":["https://openalex.org/I73142707"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5023540661"],"corresponding_institution_ids":["https://openalex.org/I73142707"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.43652116,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"19","issue":"6","first_page":"1027","last_page":"1028"},"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.8671000003814697,"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.8671000003814697,"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/T10734","display_name":"Information and Cyber Security","score":0.017500000074505806,"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"}},{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.010400000028312206,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5588988661766052}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5588988661766052}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/jcs-2011-0441","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcs-2011-0441","pdf_url":null,"source":{"id":"https://openalex.org/S106992369","display_name":"Journal of Computer Security","issn_l":"0926-227X","issn":["0926-227X","1875-8924"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Security","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":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":{"was":[0],"held":[1],"on":[2],"September":[3],"2010":[4],"in":[5,24,73,84,93,284,291,308,316,341],"Athens,":[6],"Greece.The":[7],"symposium":[8],"has":[9,249],"a":[10,25,48,52,75,90,109,171,188,192,220,333,352],"tradition":[11],"that":[12,29,214,248],"goes":[13],"back":[14],"for":[15,61,89,223,231,262,336],"two":[16,303],"decades.It":[17],"brings":[18],"together":[19],"the":[20,32,62,70,85,94,111,135,161,166,174,177,199,215,232,236,245,263,266,301,312,318,327],"international":[21],"research":[22,72,77],"community":[23],"top":[26,302],"quality":[27],"event":[28],"covers":[30],"all":[31],"areas":[33],"of":[34,54,87,96,122,140,151,163,170,180,203,300,305,331],"computer":[35],"security,":[36,74,123],"ranging":[37,124],"from":[38,125],"theory":[39,350],"to":[40,131,210,244,253,270,293,321,356,364],"applications.ESORICS-2010":[41],"received":[42],"201":[43],"submissions,":[44],"which":[45],"went":[46,104],"through":[47,105],"careful":[49],"review":[50],"process.As":[51],"result":[53],"this":[55],"process,":[56],"42":[57],"papers":[58,78,99,118],"were":[59,79,100],"selected":[60],"final":[63],"program":[64,189,267],"(21%":[65],"acceptance":[66],"rate).To":[67],"further":[68],"promote":[69],"fast-evolving":[71],"few":[76],"selected,":[80],"among":[81],"those":[82],"published":[83],"proceedings":[86],"ESORICS-2010,":[88],"Special":[91,112],"Issue":[92,113],"Journal":[95],"Computer":[97],"Security.These":[98],"significantly":[101],"extended":[102],"and":[103,128,134,157,191,239,281,329,351,371],"another":[106],"rigorous":[107],"review.As":[108],"result,":[110],"finally":[114],"includes":[115],"four":[116],"papers.The":[117],"reflect":[119],"different":[120],"aspects":[121],"RFID":[126],"privacy":[127],"PKI-based":[129],"systems,":[130,310],"information":[132,153,168,182,201],"flow,":[133,183],"IO2BO":[136,339,359],"threat.A":[137],"brief":[138],"description":[139],"them":[141],"is":[142,205,218,229,241,268],"provided":[143],"below.In":[144],"their":[145,285],"paper,":[146,286],"entitled":[147,287],"\"On":[148],"bounding":[149,216],"problems":[150],"quantitative":[152,167,181,200],"flow\",":[154],"H.":[155],"Yasuoka":[156],"T.":[158,275,277],"Terauchi":[159],"investigate":[160],"hardness":[162,260],"precisely":[164],"checking":[165,254],"flow":[169,202],"program.More":[172],"precisely,":[173],"authors":[175],"study":[176],"\"bounding":[178],"problem\"":[179],"defined":[184],"as":[185],"follows:":[186],"Given":[187],"M":[190,204],"positive":[193],"real":[194],"number":[195],"q,":[196],"decide":[197],"if":[198],"less":[206],"than":[207],"or":[208],"equal":[209],"q.":[211],"Authors":[212],"prove":[213,257],"problem":[217],"not":[219,242],"k-safety":[221],"property":[222],"any":[224],"k":[225],"(even":[226],"when":[227,265],"q":[228],"fixed,":[230],"Shannon-entropy-based":[233],"definition":[234],"with":[235,298,374],"uniform":[237],"distribution),":[238],"thus":[240],"amenable":[243],"self-composition":[246],"technique":[247],"been":[250],"successfully":[251],"applied":[252],"non-interference.They":[255],"also":[256],"complexity":[258],"theoretic":[259],"results":[261],"case":[264],"restricted":[269],"loop-free":[271],"Boolean":[272],"programs.C.":[273],"Zhang,":[274],"Wang,":[276],"Wei,":[278],"Y.":[279],"Chen":[280],"W.":[282],"Zou,":[283],"\"Using":[288],"type":[289,349],"analysis":[290,354],"compiler":[292,334],"mitigate":[294],"integer-overflow-to-buffer-overflow":[295],"threat\",":[296],"deal":[297],"one":[299],"causes":[304],"software":[306],"vulnerabilities":[307,340],"operating":[309],"i.e.,":[311],"integer":[313],"overflow":[314],"and,":[315],"specific,":[317],"Integer":[319],"Overflow":[320,323],"Buffer":[322],"(IO2BO)":[324],"vulnerability.Authors":[325],"present":[326],"design":[328],"implementation":[330],"IntPatch,":[332],"extension":[335],"automatically":[337],"fixing":[338],"C/C++":[342],"programs":[343,373],"at":[344],"compile":[345],"time.IntPatch":[346],"utilizes":[347],"classic":[348],"dataflow":[353],"framework":[355],"identify":[357],"potential":[358],"vulnerabilities.Then":[360],"uses":[361],"backward":[362],"slicing":[363],"find":[365],"out":[366],"related":[367],"vulnerable":[368],"arithmetic":[369],"operations":[370],"instruments":[372]},"counts_by_year":[],"updated_date":"2026-03-03T08:47:05.690250","created_date":"2025-10-10T00:00:00"}