Håvard D. Johansen
Professor
Job description
Håvard D. Johansen teaches and researches computer security and privacy topics. His work in overlay networks received great acclaim in the research community providing a completely different way of approaching the problem of Byzantine fault tolerance. Johansen is currently focused on secure remote execution of code using Intel SGX, reactive information-flow policies, and energy-efficient blockchains based on Byzantine consensus. Johansen is a hands-on full-stack software developer. He has up-to-date expertise with modern software technologies like GO, TypeScript, iOS/Android platforms, and Docker. Dr. Johansen has also competence in machine learning, and interdisciplinary experiences in the medical, sports, and psychology domains.
- Randine, Pietro; Sharma, Aakash; Hartvigsen, Gunnar; Johansen, Håvard D.; Årsand, Eirik. Information and communication technology-based interventions for chronic diseases consultation: Scoping review. International Journal of Medical Informatics 2022. ISSN 1386-5056.s doi: 10.1016/j.ijmedinf.2022.104784.
- Tedeschi, Enrico; Nordmo, Tor-Arne Schmidt; Johansen, Dag; Johansen, Håvard D.. On Optimizing Transaction Fees in Bitcoin using AI: Investigation on Miners Inclusion Pattern. ACM Transactions on Internet Technology 2022. ISSN 1533-5399.s doi: https://doi.org/10.1145/3528669.
- Sharma, Aakash; Bye Nilsen, Thomas; Johansen, Sivert; Johansen, Dag; Johansen, Håvard D.. Designing a Service for Compliant Sharing of Sensitive Research Data. Lecture Notes in Computer Science (LNCS) 2022. ISSN 0302-9743.s doi: 10.1007/978-3-031-02067-4_10.
- Tedeschi, Enrico; Nordmo, Tor-Arne Schmidt; Johansen, Dag; Johansen, Håvard D.. On Optimizing Transaction Fees in Bitcoin using AI: Investigation on Miners Inclusion Pattern. ACM Transactions on Internet Technology 2022. ISSN 1533-5399.s doi: 10.1145/3528669.
- Jha, Debesh; Yazidi, Anis; Riegler, Michael Alexander; Johansen, Dag; Johansen, Håvard D.; Halvorsen, Pål. LightLayers: Parameter Efficient Dense and Convolutional Layers for Image Classification. Springer Nature 2021; Volum 12606 ISBN 9783030692445. ISSN 0302-9743.s doi: 10.1007/978-3-030-69244-5.
- Jha, Debesh; Smedsrud, Pia; Johansen, Dag; de Lange, Thomas; Johansen, Håvard D.; Halvorsen, Pål; Riegler, Michael Alexander. A Comprehensive Study on Colorectal Polyp Segmentation with ResUNet++, Conditional Random Field and Test-Time Augmentation. IEEE journal of biomedical and health informatics 2021. ISSN 2168-2194.s doi: 10.1109/JBHI.2021.3049304.
- Sharma, Aakash; Nilsen, Thomas Bye; Czerwinska, Katja Pauline; Onitiu, Daria; Brenna, Lars; Johansen, Dag; Johansen, Håvard D.. Up-to-the-Minute Privacy Policies via Gossips in Participatory Epidemiological Studies. Frontiers in Big Data 2021; Volum 4. ISSN 2624-909X.s doi: 10.3389/fdata.2021.624424.
- Jha, Debesh; Ali, Sharib; Hicks, Steven; Thambawita, Vajira L B; Borgli, Hanna; Smedsrud, Pia; de Lange, Thomas; Pogorelov, Konstantin; Wang, Xiaowei; Harzig, Philipp; Tran, Minh-Triet; Meng, Wenhua; Hoang, Trung-Hieu; Dias, Danielle; Ko, Tobey H.; Agrawal, Taruna; Ostroukhova, Olga; Khan, Zeshan; Tahir, Muhammed Atif; Liu, Yang; Chang, Yuan; Kirkerød, Mathias; Johansen, Dag; Lux, Mathias; Johansen, Håvard D.; Riegler, Michael; Halvorsen, Pål. A comprehensive analysis of classification methods in gastrointestinal endoscopy imaging. Medical Image Analysis 2021; Volum 70. ISSN 1361-8415.s doi: 10.1016/j.media.2021.102007.
- Thambawita, Vajira L B; Hicks, Steven; Isaksen, Jonas L; Stensen, Mette H.; Haugen, Trine B.; Kanters, Jørgen K; Parasa, Sravanthi; Lange, Thomas de; Johansen, Håvard D.; Johansen, Dag; Hammer, Hugo Lewi; Halvorsen, Pål; Riegler, Michael. DeepSynthBody: the beginning of the end for data deficiency in medicine. IEEE conference proceedings 2021 ISBN 978-1-7281-5934-8.s 1 - 8.s doi: 10.1109/ICAPAI49758.2021.9462062.
- Jha, Debesh; Ali, Sharib; Tomar, Nikhil Kumar; Johansen, Håvard D.; Johansen, Dag; Rittscher, Jens; Riegler, Michael; Halvorsen, Pål. Real-Time Polyp Detection, Localization and Segmentation in Colonoscopy Using Deep Learning. IEEE Access 2021; Volum 9. ISSN 2169-3536.s 40496 - 40510.s doi: 10.1109/ACCESS.2021.3063716.
- Nordmo, Tor-Arne Schmidt; Ovesen, Aril Bernhard; Johansen, Håvard D.; Riegler, Michael Alexander; Halvorsen, Pål; Johansen, Dag. Dutkat: A Multimedia System for Catching Illegal Catchers in a Privacy-Preserving Manner. ACM Digital Library 2021 ISBN 978-1-4503-8529-9.s 57 - 61.s doi: 10.1145/3463944.3469102.
- Ovesen, Aril Bernhard; Nordmo, Tor-Arne Schmidt; Johansen, Håvard D.; Riegler, Michael Alexander; Halvorsen, Pål; Johansen, Dag. File system support for privacy-preserving analysis and forensics in low-bandwidth edge environments. Information 2021; Volum 12 (10). ISSN 2078-2489.s 1 - 19.s doi: 10.3390/info12100430.
- Jha, Debesh; Ali, Sharib; Tomar, Nikhil Kumar; Riegler, Michael Alexander; Johansen, Dag; Johansen, Håvard D.; Halvorsen, Pål. Exploring Deep Learning Methods for Real-Time Surgical Instrument Segmentation in Laparoscopy. IEEE 2021 ISBN 9781665403580. ISSN 2641-3604.s doi: 10.1109/BHI50953.2021.
- Tomar, Nikhil Kumar; Jha, Debesh; Ali, Sharib; Johansen, Håvard D.; Johansen, Dag; Riegler, Michael; Halvorsen, Pål. DDANet: Dual Decoder Attention Network for Automatic Polyp Segmentation. Springer Nature 2021; Volum 12668 (12668) ISBN 978-3-030-68793-9. ISSN 0302-9743.s 307 - 314.s doi: 10.1007/978-3-030-68793-9_23.
- Jha, Debesh; Ali, Sharib; Emanuelsen, Krister; Hicks, Steven; Thambawita, Vajira L B; Garcia-Ceja, Enrique; Riegler, Michael; de Lange, Thomas; Schmidt, Peter T; Johansen, Håvard D.; Johansen, Dag; Halvorsen, Pål. Kvasir-Instrument: Diagnostic and Therapeutic Tool Segmentation Dataset in Gastrointestinal Endoscopy. Springer 2021; Volum 12573 (*) ISBN 978-3-030-67834-0. ISSN 0302-9743.s 218 - 229.s doi: 10.1007/978-3-030-67835-7_19.
- Srivastava, Abhishek; Jha, Debesh; Chanda, Sukalpa; Pal, Umapada; Johansen, Håvard D.; Johansen, Dag; Riegler, Michael; Ali, Sharib; Halvorsen, Pål. MSRF-Net: A Multi-Scale Residual Fusion Network for Biomedical Image Segmentation. IEEE journal of biomedical and health informatics 2021. ISSN 2168-2194.s doi: 10.1109/JBHI.2021.3138024.
- Jha, Debesh; Hicks, Steven; Emanuelsen, Krister; Johansen, Håvard D.; Johansen, Dag; de Lange, Thomas; Riegler, Michael; Halvorsen, Pål. Medico Multimedia Task at MediaEval 2020: Automatic Polyp Segmentation. 2020 ISBN 0000000000000.
- Jha, Debesh; Smedsrud, Pia; Riegler, Michael; Halvorsen, Pål; de Lange, Thomas; Johansen, Dag; Johansen, Håvard D.. Kvasir-SEG: A segmented polyp dataset. Lecture Notes in Computer Science (LNCS) 2020; Volum 11962 LNCS. ISSN 0302-9743.s 451 - 462.s doi: 10.1007/978-3-030-37734-2_37.
- Pettersen, Svein Arne; Johansen, Håvard D.; Matias Do Vale Baptista, Ivan Andre; Halvorsen, Pål; Johansen, Dag. Quantified Soccer Using Positional Data: A Case Study. (fulltekst) Frontiers 2020 ISBN 978-2-88963-4620.s 264 - 269.s doi: 10.3389/978-2-88963-462-0.
- Sharma, Aakash; Czerwinska, Katja P; Brenna, Lars; Johansen, Dag; Johansen, Håvard D.. Privacy Perceptions and Concerns in Image-Based Dietary Assessment Systems: Questionnaire-Based Study. JMIR Human Factors 2020; Volum 7 (4). ISSN 2292-9495.s doi: 10.2196/19085.
- Johansen, Håvard D.; Johansen, Dag; Kupka, Tomas; Riegler, Michael; Halvorsen, Pål. Scalable Infrastructure for Efficient Real-Time Sports Analytics. Association for Computing Machinery (ACM) 2020 ISBN 978-1-4503-8002-7.s 230 - 234.s doi: https://doi.org/10.1145/3395035.3425300.
- Jha, Debesh; Riegler, Michael Alexander; Johansen, Dag; Halvorsen, Pål; Johansen, Håvard D.. DoubleU-Net: A Deep Convolutional Neural Network for Medical Image Segmentation. IEEE International Symposium on Computer-Based Medical Systems 2020. ISSN 2372-9198.s doi: 10.1109/CBMS49503.2020.00111.
- Lasantha Bandara Thambawita, Vajira; Jha, Debesh; Hammer, Hugo Lewi; Johansen, Håvard D.; Johansen, Dag; Halvorsen, Pål; Riegler, Michael. An extensive study on cross-dataset bias and evaluation metrics interpretation for machine learning applied to gastrointestinal tract abnormality classification. ACM Transactions on Computing for Healthcare (HEALTH) 2020; Volum 1:17 (3). ISSN 2691-1957.s 1 - 29.s doi: 10.1145/3386295.
- Lasantha Bandara Thambawita, Vajira; Hicks, Steven; Borglia, Hanna; Stensland, Håkon Kvale; Jha, Debesh; Svensen, Martin Kristoffer; Pettersen, Svein Arne; Johansen, Dag; Johansen, Håvard D.; Pettersen, Susann Dahl; Nordvang, Simon; Pedersen, Sigurd; Gjerdrum, Anders Tungeland; Grønli, Tor-Morten; Fredriksen, Per Morten; Eg, Ragnhild; Hansen, Kjeld S.; Fagernes, Siri; Claudi-Nielsen, Christine; Biørn-Hansen, Andreas; Dang Nguyen, Duc Tien; Kupka, Tomas; Hammer, Hugo Lewi; Jain, Ramesh; Riegler, Michael; Halvorsen, Pål. PMData: a sports logging dataset. Association for Computing Machinery (ACM) 2020 ISBN 978-1-4503-6845-2.s 231 - 236.s doi: 10.1145/3339825.3394926.
- Gjerdrum, Anders Tungeland; Johansen, Håvard D.; Brenna, Lars; Johansen, Dag. Diggi: A Secure Framework for Hosting Native Cloud Functions with Minimal Trust. IEEE 2019 ISBN 978-1-7281-6741-1.s 18 - 27.s doi: 10.1109/TPS-ISA48467.2019.00012.
- Jha, Debesh; Smedsrud, Pia; Riegler, Michael; Johansen, Dag; de Lange, Thomas; Halvorsen, Pål; Johansen, Håvard D.. ResUNet++: An Advanced Architecture for Medical Image Segmentation. (data) IEEE 2019 ISBN 978-1-7281-5606-4.s 225 - 230.s doi: 10.1109/ISM46123.2019.00049.
- Tedeschi, Enrico; Nordmo, Tor-Arne Schmidt; Johansen, Dag; Johansen, Håvard D.. Predicting Transaction Latency with Deep Learning in Proof-of-Work Blockchains. (data) IEEE International Conference on Big Data and Smart Computing 2019. ISSN 2375-9356.s doi: 10.1109/BigData47090.2019.9006228.
- Wiik, Theodor; Johansen, Håvard D.; Pettersen, Svein Arne; Matias Do Vale Baptista, Ivan Andre; Kupka, Tomas; Johansen, Dag; Riegler, Michael; Halvorsen, Pål. Predicting peek readiness-to-train of soccer players using long short-term memory recurrent neural networks. (fulltekst) IEEE conference proceedings 2019 (12) ISBN 978-1-7281-4673-7. ISSN 1949-3991.s doi: 10.1109/CBMI.2019.8877406.
- Andreassen, Kim Hartvedt; Johansen, Dag; Johansen, Håvard D.; Matias Do Vale Baptista, Ivan Andre; Pettersen, Svein Arne; Riegler, Micheal; Halvorsen, Pål. Real-time Analysis of Physical Performance Parameters in Elite Soccer. IEEE conference proceedings 2019 (12) ISBN 978-1-7281-4673-7. ISSN 1949-3991.s doi: 10.1109/CBMI.2019.8877422.
- Holmlund, Terje Bektesevic; Foltz, Peter W.; Cohen, Alex S.; Johansen, Håvard D.; Sigurdsen, Randi; Fugeli, Pål; Bergsager, Dagfinn; Cheng, Jian; Bernstein, Jared; Rosenfeld, Elizabeth; Elvevåg, Brita. Moving psychological assessment out of the controlled laboratory setting: Practical challenges. Psychological Assessment 2019; Volum 31 (3). ISSN 1040-3590.s 292 - 303.s doi: 10.1037/pas0000647.
- Vajira, Lasantha Bandara Thambawita; Jha, Debesh; Riegler, Michael; Halvorsen, Pål; Hammer, Hugo Lewi; Johansen, Håvard D.; Johansen, Dag. The Medico-Task 2018: Disease detection in the gastrointestinal tract using global features and deep learning. (data) CEUR Workshop Proceedings 2018; Volum 2283. ISSN 1613-0073.
- Gjerdrum, Anders Tungeland; Pettersen, Robert; Johansen, Håvard D.; Johansen, Dag. Performance principles for trusted computing with intel SGX. Communications in Computer and Information Science 2018; Volum 864. ISSN 1865-0929.s 1 - 18.s doi: 10.1007/978-3-319-94959-8_1.
- Birrell, Eleanor; Gjerdrum, Anders Tungeland; Van Renesse, Robbert; Johansen, Håvard D.; Johansen, Dag; Schneider, Fred B.. SGX Enforcement of Use-Based Privacy. Association for Computing Machinery (ACM) 2018 ISBN 978-1-4503-5989-4.s 155 - 167.s doi: 10.1145/3267323.3268954.
- Gaddam, Vamsidhar Reddy; Langseth, Ragnar; Stensland, Håkon Kvale; Griwodz, Carsten; Riegler, Michael; Kupka, Tomas; Espeland, Håvard; Johansen, Dag; Johansen, Håvard D.; Halvorsen, Pål. Camera Synchronization for Panoramic Videos. Springer 2018 ISBN 978-3-319-65840-7.s 565 - 592.s doi: 10.1007/978-3-319-65840-7_20.
- Pettersen, Svein Arne; Johansen, Håvard D.; Matias Do Vale Baptista, Ivan Andre; Halvorsen, Pål; Johansen, Dag. Quantified Soccer Using Positional Data: A Case Study. Frontiers in Physiology 2018; Volum 9. ISSN 1664-042X.s doi: 10.3389/fphys.2018.00866.
- Tedeschi, Enrico; Johansen, Håvard D.; Johansen, Dag. Trading Network Performance for Cash in the Bitcoin Blockchain. SciTePress 2018 ISBN 978-989-758-295-0.s 643 - 650.s doi: 10.5220/0006805906430650.
- Pettersen, Robert; Johansen, Håvard D.; Valvåg, Steffen Viken; Johansen, Dag. Dynamically loading mobile/cloud assemblies. Communications in Computer and Information Science 2017; Volum 740. ISSN 1865-0929.s 170 - 186.s doi: 10.1007/978-3-319-62594-2_9.
- Pettersen, Robert; Johansen, Håvard D.; Johansen, Dag. Secure Edge Computing with ARM TrustZone. SciTePress 2017 ISBN 978-989-758-245-5.s 102 - 109.s doi: 10.5220/0006308601020109.
- Stenhaug, Magnus; Johansen, Håvard D.; Johansen, Dag. Managing Personalized Cross-cloud Storage Systems with Meta-code. SciTePress 2017 ISBN 978-989-758-243-1.s 694 - 700.s doi: 10.5220/0006377607220728.
- Gjerdrum, Anders Tungeland; Pettersen, Robert; Johansen, Håvard D.; Johansen, Dag. Performance of Trusted Computing in Cloud Infrastructures with Intel SGX. SciTePress 2017 ISBN 978-989-758-243-1.s 668 - 674.s doi: 10.5220/0006373706960703.
- Gjerdrum, Anders Tungeland; Johansen, Håvard D.; Johansen, Dag. Implementing Informed Consent as Information-Flow Policies for Secure Analytics on eHealth Data: Principles and Practices. IEEE 2016 ISBN 978-1-5090-0943-5.s 107 - 112.s doi: 10.1109/CHASE.2016.39.
- Stenhaug, Magnus; Johansen, Håvard D.; Johansen, Dag. Transforming Healthcare through Life-Long Personal Digital Footprints. IEEE 2016 ISBN 978-1-5090-0943-5.s 36 - 41.s doi: 10.1109/CHASE.2016.54.
- Gurrin, Cathal Gerard; Giro-i-Nieto, Xavier; Radeva, Petia; Dimiccoli, Mariella; Johansen, Håvard D.; Joho, Hideo; Singh, Vivek K.. LTA 2016: The First Workshop on Lifelogging Tools and Applications. Association for Computing Machinery (ACM) 2016 ISBN 978-1-4503-3603-1.s 1487 - 1488.s doi: 10.1145/2964284.2980534.
- Riegler, Michael; Lux, Mathias; Griwodz, Carsten; SPAMPINATO, CONCETTO; de Lange, Thomas; Eskeland, Sigrun Losada; Pogorelov, Konstantin; Tavanapong, Wallapak; Schmidt, Peter T; Gurrin, Cathal Gerard; Johansen, Dag; Johansen, Håvard D.; Halvorsen, Pål. Multimedia and Medicine: Teammates for Better Disease Detection and Survival. Association for Computing Machinery (ACM) 2016 ISBN 978-1-4503-3603-1.s 968 - 977.s doi: 10.1145/2964284.2976760.
- Valvåg, Steffen; Pettersen, Robert; Johansen, Håvard D.; Johansen, Dag. LADY: Dynamic Resolution of Assemblies for Extensible and Distributed .NET Applications. SciTePress 2016 ISBN 978-989-758-182-3.s 118 - 128.s doi: 10.5220/0005912901180128.
- Johansen, Håvard; Birrell, Eleanor; Van Renesse, Robbert; Schneider, Fred B.; Stenhaug, Magnus; Johansen, Dag. Enforcing Privacy Policies with Meta-Code. Association for Computing Machinery (ACM) 2015 ISBN 978-1-4503-3554-6.s doi: 10.1145/2797022.2797040.
- Johansen, Håvard; Van Renesse, Robbert; Vigfusson, Ymir; Johansen, Dag. Fireflies: A Secure and Scalable Membership and Gossip Service. ACM Transactions on Computer Systems 2015; Volum 33 (2). ISSN 0734-2071.s doi: 10.1145/2701418.
- Gurrin, Cathal; Johansen, Håvard; Sødring, Thomas; Johansen, Dag. Digital Chronofiles of Life Experience. Springer 2015; Volum 8852 (-) ISBN 978-3-319-15167-0. ISSN 0302-9743.s 263 - 274.s doi: 10.1007/978-3-319-15168-7_33.
- Johansen, Håvard; Gurrin, Cathal Gerard; Johansen, Dag. Towards Consent-Based Lifelogging in Sport Analytic. Springer 2015; Volum 8936 (Part II) ISBN 978-3-319-14441-2. ISSN 0302-9743.s 335 - 344.s doi: 10.1007/978-3-319-14442-9_40.
- Johansen, Håvard; Zhang, Wei; Hurley, Joseph; Johansen, Dag. Management of Body-Sensor Data in Sports Analytic with Operative Consent. IEEE conference proceedings 2014 ISBN 978-1-4799-2843-9.s doi: 10.1109/ISSNIP.2014.6827638.
- Pettersen, Svein Arne; Johansen, Dag; Johansen, Håvard; Berg-Johansen, Vegard; Gaddam, Vamsidhar Reddy; Mortensen, Asgeir Oldernes; Langseth, Ragnar; Griwodz, Carsten; Stensland, Håkon Kvale; Halvorsen, Pål. Soccer Video and Player Position Dataset. ACM Publications 2014 ISBN 978-1-4503-2705-3.s 18 - 23.s doi: 10.1145/2557642.2563677.
- Johansen, Håvard; Pettersen, Svein Arne; Halvorsen, Pål; Johansen, Dag. Combining Video and Player Telemetry for Evidence-Based Decisions in Soccer. (fulltekst) SciTePress 2013 ISBN 978-989-8565-79-2.s 197 - 205.
- Renesse, Robbert van; Johansen, Håvard; Naigaonkar, Nihar; Johansen, Dag. Secure Abstraction with Code Capabilities. Parallel, Distributed and Network-Based Processing (PDP) 2013. ISSN 1066-6192.s 542 - 546.s doi: 10.1109/PDP.2013.87.
- Johansen, Dag; Halvorsen, Pål; Johansen, Håvard; Riiser, Haakon; Gurrin, Cathal; Olstad, Bjørn; Griwodz, Carsten; Kvalnes, Åge; Hurley, Joseph; Kupka, Tomas. Search-based composition, streaming and playback of video archive content. Multimedia tools and applications 2012; Volum 61 (2). ISSN 1380-7501.s 419 - 445.s doi: 10.1007/s11042-011-0847-5.
- Johansen, Dag; Johansen, Håvard; Halvorsen, Pål; Olstad, Bjørn; Gurrin, Cathal; Griwodz, Carsten. Composing Personalized Video Playouts Using Search. IEEE International Conference on Multimedia and Expo 2010. ISSN 1945-7871.s 1534 - 1539.
- Scott, David; Gurrin, Cathal; Johansen, Dag; Johansen, Håvard. Searching and Recommending Sports Content on Mobile Devices. Lecture Notes in Computer Science (LNCS) 2010; Volum 5916. ISSN 0302-9743.s 779 - 781.s doi: 10.1007/978-3-642-11301-7.
- Bellika, Johan Gustav; Ilebrekke, Lars; Bakkevoll, Per Atle; Johansen, Håvard; Scholl, Jeremiah; Johansen, Monika Alise. Authentication and Encryption in the Snow Disease Surveillance Network. Studies in Health Technology and Informatics 2009; Volum 150. ISSN 0926-9630.s 725 - 729.
- Johansen, Dag; Johansen, Håvard; Aarflot, Tjalve; Hurley, Joseph; Kvalnes, Åge Andre; Gurrin, Cathal; Sav, Sorin; Olstad, Bjørn; Aaberg, Erik; Endestad, Tore; Håkon, Riiser; Griwodz, Carsten; Halvorsen, Pål. DAVVI: A prototype for the next generation multimedia entertainment platform. ACM Publications 2009 ISBN 978-1-60558-608-3.s 989 - 990.
- Johansen, Håvard; Johansen, Dag. Resilient Software Mirroring With Untrusted Third Parties. Association for Computing Machinery (ACM) 2008 ISBN 978-1-60558-304-4.
- Johansen, Dag; Johansen, Håvard. The Dynamic Enterprise Bus. IEEE 2008 ISBN 0-7695-3093-1.s 100 - 105.
- Johansen, Håvard; Johansen, Dag; Renesse, Robbert van. FirePatch: Secure and Time-Critical Dissemination of Software Patches. Springer Science+Business Media B.V. 2007 (22) ISBN 978-0-387-72366-2. ISSN 1571-5736.s 373 - 384.
- Johansen, Håvard; Allavena, Andre; Van Renesse, Robbert. Fireflies: scalable support for intrusion-tolerant network overlays. Operating systems review 2006; Volum 40 (4). ISSN 0163-5980.s 3 - 13.
- Johansen, Håvard; Allavena, Andre; Van Renesse, Robbert. Fireflies: scalable support for intrusion-tolerant network overlays. ACM Press 2006 ISBN 1-59593-322-0.s 3 - 14.