{"id":"https://openalex.org/W4388936872","doi":"https://doi.org/10.1109/icccnt56998.2023.10308037","title":"UVM Components for the Secure Hash 512 Algorithm","display_name":"UVM Components for the Secure Hash 512 Algorithm","publication_year":2023,"publication_date":"2023-07-06","ids":{"openalex":"https://openalex.org/W4388936872","doi":"https://doi.org/10.1109/icccnt56998.2023.10308037"},"language":"en","primary_location":{"id":"doi:10.1109/icccnt56998.2023.10308037","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icccnt56998.2023.10308037","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 14th International Conference on Computing Communication and Networking Technologies (ICCCNT)","raw_type":"proceedings-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/A5031631739","display_name":"Malathi Devarajan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Malathi D","raw_affiliation_strings":["Kongu Engineering College,Department of Electronic and Communication Engineering,Erode,India","Department of Electronic and Communication Engineering, Kongu Engineering College, Erode, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kongu Engineering College,Department of Electronic and Communication Engineering,Erode,India","institution_ids":[]},{"raw_affiliation_string":"Department of Electronic and Communication Engineering, Kongu Engineering College, Erode, India","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111079039","display_name":"SP Guruprasad","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guruprasad S R","raw_affiliation_strings":["Kongu Engineering College,Department of Electronic and Communication Engineering,Erode,India","Department of Electronic and Communication Engineering, Kongu Engineering College, Erode, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kongu Engineering College,Department of Electronic and Communication Engineering,Erode,India","institution_ids":[]},{"raw_affiliation_string":"Department of Electronic and Communication Engineering, Kongu Engineering College, Erode, India","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.15315093,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"5"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":1.0,"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/T10951","display_name":"Cryptographic Implementations and Security","score":1.0,"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.9993000030517578,"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/T11017","display_name":"Chaos-based Image/Signal Encryption","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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.8438858389854431},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.7260509729385376},{"id":"https://openalex.org/keywords/hash-function","display_name":"Hash function","score":0.6702542901039124},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.570724606513977},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.479892373085022},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.46440908312797546},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.43236786127090454},{"id":"https://openalex.org/keywords/secure-hash-algorithm","display_name":"Secure Hash Algorithm","score":0.42702215909957886},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.41946378350257874},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4106748104095459},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.37705469131469727},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.3642542362213135},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.35243701934814453},{"id":"https://openalex.org/keywords/cryptographic-hash-function","display_name":"Cryptographic hash function","score":0.32442307472229004},{"id":"https://openalex.org/keywords/merkle-tree","display_name":"Merkle tree","score":0.16177299618721008},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.12212827801704407},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09636867046356201},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.08663347363471985}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8438858389854431},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.7260509729385376},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.6702542901039124},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.570724606513977},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.479892373085022},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.46440908312797546},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.43236786127090454},{"id":"https://openalex.org/C9661340","wikidata":"https://www.wikidata.org/wiki/Q257799","display_name":"Secure Hash Algorithm","level":5,"score":0.42702215909957886},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.41946378350257874},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4106748104095459},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.37705469131469727},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.3642542362213135},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.35243701934814453},{"id":"https://openalex.org/C7608002","wikidata":"https://www.wikidata.org/wiki/Q477202","display_name":"Cryptographic hash function","level":3,"score":0.32442307472229004},{"id":"https://openalex.org/C205383636","wikidata":"https://www.wikidata.org/wiki/Q14746","display_name":"Merkle tree","level":4,"score":0.16177299618721008},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.12212827801704407},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09636867046356201},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.08663347363471985},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icccnt56998.2023.10308037","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icccnt56998.2023.10308037","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 14th International Conference on Computing Communication and Networking Technologies (ICCCNT)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy","score":0.4699999988079071}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1672978577","https://openalex.org/W1840474525","https://openalex.org/W1876179543","https://openalex.org/W1987721618","https://openalex.org/W2121142504","https://openalex.org/W2141569810","https://openalex.org/W2169692300","https://openalex.org/W2170677368","https://openalex.org/W2407825313","https://openalex.org/W2619565184","https://openalex.org/W2987451067","https://openalex.org/W3159710217","https://openalex.org/W4200187614","https://openalex.org/W4394648330","https://openalex.org/W6747595165"],"related_works":["https://openalex.org/W3120172095","https://openalex.org/W2105593427","https://openalex.org/W2153955347","https://openalex.org/W2106507440","https://openalex.org/W1928822090","https://openalex.org/W2118572231","https://openalex.org/W4375857205","https://openalex.org/W3036403349","https://openalex.org/W2108860137","https://openalex.org/W2535719568"],"abstract_inverted_index":{"The":[0,71,108,137,210,252],"Secure":[1],"Hash":[2],"Algorithm":[3],"(SHA-512),":[4],"which":[5],"offers":[6],"data":[7,190],"integrity":[8],"and":[9,31,67,102,120,130,150,188,200,220,241,245,263],"security,":[10],"is":[11,74,97,140],"a":[12,40,82],"well-liked":[13],"cryptographic":[14],"hash":[15],"function.":[16],"As":[17],"algorithms'":[18],"complexity":[19],"increases,":[20],"it":[21],"becomes":[22],"increasingly":[23],"crucial":[24],"to":[25,146,161,178,218,237,250],"ensure":[26],"that":[27,79],"they":[28],"are":[29,159,175,228,248],"correct":[30],"covered":[32,267],"within":[33],"the":[34,45,49,86,90,100,126,134,143,148,153,181,192,197,203,223,255,260,264,270],"verification":[35,69,91,95,103,119,154,157,213,235],"process.":[36,92],"This":[37],"work":[38],"presents":[39],"detailed":[41],"methodology":[42],"for":[43,64,99,117,230],"certifying":[44],"SHA-512":[46,72,135,182,224,234],"algorithm":[47,73],"using":[48,60],"Universal":[50],"Verification":[51],"Methodology":[52],"(UVM).":[53],"Complex":[54],"designs":[55],"may":[56,215],"be":[57,216],"efficiently":[58,219],"verified":[59],"UVM's":[61],"standardised":[62],"architecture":[63,111],"building":[65],"extendable":[66],"reusable":[68],"environments.":[70],"divided":[75],"into":[76,196],"modular":[77,113],"components":[78,186,227,257],"each":[80,105],"handle":[81],"specific":[83],"function":[84],"as":[85],"initial":[87],"stage":[88],"in":[89,202],"UVM":[93,109,138,172,226,256,265],"component-based":[94],"technique":[96],"used":[98,177,217],"modelling":[101],"of":[104,133,152,165,171,205,254,269],"individual":[106],"component.":[107],"component":[110],"promotes":[112],"design":[114],"while":[115],"allowing":[116],"independent":[118],"reuse.A":[121],"functional":[122,261],"coverage":[123,144,244,262],"model":[124,145],"captures":[125],"key":[127,166],"traits,":[128],"behaviours,":[129],"unique":[131],"situations":[132],"algorithm.":[136,183,225],"testbench":[139],"linked":[141],"with":[142],"track":[147],"development":[149],"effectiveness":[151],"efforts.":[155],"Coverage-driven":[156],"techniques":[158],"employed":[160],"guarantee":[162],"thorough":[163],"evaluation":[164],"algorithmic":[167],"components.":[168],"A":[169],"number":[170],"analysis":[173,185],"tools":[174],"also":[176],"extensively":[179],"evaluate":[180],"These":[184],"acquire":[187],"review":[189],"during":[191],"simulation,":[193],"providing":[194],"insight":[195],"algorithm's":[198],"behaviour":[199],"aiding":[201],"identification":[204],"any":[206],"issues":[207],"or":[208],"irregularities.":[209],"proposed":[211],"UVM-based":[212],"approach":[214],"systematically":[221],"verify":[222],"appropriate":[229],"complex":[231],"algorithms":[232],"like":[233],"due":[236],"their":[238],"adaptability,":[239],"reuse,":[240],"scalability.":[242],"Functional":[243],"analytical":[246],"elements":[247],"combined":[249],"ensure.":[251],"validation":[253],"performed":[258],"by":[259],"environment":[266],"83.33%":[268],"possible":[271],"outcomes.":[272]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}