@inproceedings{winter_randomized_2023,
	title = {Randomized {Testing} of {Byzantine} {Fault} {Tolerant} {Algorithms}},
	url = {https://gleissen.github.io/papers/byzzfuzz.pdf},
	booktitle = {{OOPSLA}},
	author = {Winter, Levin and Buse, Florena and De Graaf, Daan and v. Gleissenthall, Klaus and Ozkan, Burcu Kulahcioglu},
	year = {2023},
	note = {Distinguished Paper Award},
	keywords = {type\_award, type\_paper},
}

{"_id":"mkrR5mRZADskSPkCH","bibbaseid":"winter-buse-degraaf-vgleissenthall-ozkan-randomizedtestingofbyzantinefaulttolerantalgorithms-2023","author_short":["Winter, L.","Buse, F.","De Graaf, D.","v. Gleissenthall, K.","Ozkan, B. K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Randomized Testing of Byzantine Fault Tolerant Algorithms","url":"https://gleissen.github.io/papers/byzzfuzz.pdf","booktitle":"OOPSLA","author":[{"propositions":[],"lastnames":["Winter"],"firstnames":["Levin"],"suffixes":[]},{"propositions":[],"lastnames":["Buse"],"firstnames":["Florena"],"suffixes":[]},{"propositions":[],"lastnames":["De","Graaf"],"firstnames":["Daan"],"suffixes":[]},{"propositions":["v."],"lastnames":["Gleissenthall"],"firstnames":["Klaus"],"suffixes":[]},{"propositions":[],"lastnames":["Ozkan"],"firstnames":["Burcu","Kulahcioglu"],"suffixes":[]}],"year":"2023","note":"Distinguished Paper Award","keywords":"type_award, type_paper","bibtex":"@inproceedings{winter_randomized_2023,\n\ttitle = {Randomized {Testing} of {Byzantine} {Fault} {Tolerant} {Algorithms}},\n\turl = {https://gleissen.github.io/papers/byzzfuzz.pdf},\n\tbooktitle = {{OOPSLA}},\n\tauthor = {Winter, Levin and Buse, Florena and De Graaf, Daan and v. Gleissenthall, Klaus and Ozkan, Burcu Kulahcioglu},\n\tyear = {2023},\n\tnote = {Distinguished Paper Award},\n\tkeywords = {type\\_award, type\\_paper},\n}\n\n","author_short":["Winter, L.","Buse, F.","De Graaf, D.","v. Gleissenthall, K.","Ozkan, B. K."],"key":"winter_randomized_2023","id":"winter_randomized_2023","bibbaseid":"winter-buse-degraaf-vgleissenthall-ozkan-randomizedtestingofbyzantinefaulttolerantalgorithms-2023","role":"author","urls":{"Paper":"https://gleissen.github.io/papers/byzzfuzz.pdf"},"keyword":["type_award","type_paper"],"metadata":{"authorlinks":{}},"downloads":4},"bibtype":"inproceedings","biburl":"https://download.vusec.net/papers/zotero.php?tag=&full=1&format=bibtex&sort=date","dataSources":["LY5xkJFgS2sBQ9umB","GLkTGe3ma9f5R3CMg","JWcaY4xDbjG3msjWc","DLugeJAYYvwYZmqse","iLMsrq6FJma6GoJv6"],"keywords":["type_award","type_paper"],"search_terms":["randomized","testing","byzantine","fault","tolerant","algorithms","winter","buse","de graaf","v. gleissenthall","ozkan"],"title":"Randomized Testing of Byzantine Fault Tolerant Algorithms","year":2023,"downloads":4}