@inproceedings{bos_ffpf:_2004, title = {{FFPF}: {Fairly} {Fast} {Packet} {Filters}}, url = {Paper=http://static.usenix.org/legacy/events/osdi04/tech/full_papers/bos/bos.pdf Web=https://www.cs.vu.nl/~herbertb/projects/streamline}, booktitle = {{OSDI}}, author = {Bos, Herbert and Bruijn, Willem de and Cristea, Mihai and Nguyen, Trung and Portokalidis, Georgios}, month = dec, year = {2004}, keywords = {type_conf, type_tier1, type_top} } @inproceedings{giuffrida_safe_2013, title = {Safe and {Automatic} {Live} {Update} for {Operating} {Systems}}, url = {Paper=http://www.cs.vu.nl/~giuffrida/papers/asplos-2013.pdf Code=Code=https://github.com/Stichting-MINIX-Research-Foundation}, booktitle = {{ASPLOS}}, author = {Giuffrida, Cristiano and Kuijsten, Anton and Tanenbaum, Andrew S.}, month = dec, year = {2013}, keywords = {Operating systems, automatic updates, class_updating, live update, state checking, state transfer, type_conf, type_tier1, type_top, update safety} } @inproceedings{giuffrida_enhanced_2012, title = {Enhanced {Operating} {System} {Security} {Through} {Efficient} and {Fine}-grained {Address} {Space} {Randomization}}, url = {Paper=http://www.cs.vu.nl/~giuffrida/papers/usenixsec-2012.pdf Code=https://github.com/Stichting-MINIX-Research-Foundation}, booktitle = {{USENIX} {Security}}, author = {Giuffrida, Cristiano and Kuijsten, Anton and Tanenbaum, Andrew S.}, month = dec, year = {2012}, keywords = {class_rand, class_updating, type_conf, type_mscthesis, type_tier1, type_top} } @article{herder_modular_2006, title = {Modular {System} {Programming} in {Minix} 3}, volume = {31}, url = {Paper=http://static.usenix.org/publications/login/2006-04/openpdfs/herder.pdf Web=http://www.minix3.org Code=https://github.com/Stichting-MINIX-Research-Foundation}, number = {2}, journal = {;login}, author = {Herder, Jorrit N. and Bos, Herbert and Gras, Ben and Homburg, Philip and Tanenbaum, Andrew S.}, month = aug, year = {2006} } @article{herder_minix_2006, title = {Minix 3: {A} {Highly} {Reliable}, {Self}-{Repairing} {Operating} {System}}, volume = {40}, url = {Paper=http://cs.vu.nl/~ast/Publications/Papers/osr-jul-2006.pdf Web=http://www.minix3.org Code=https://github.com/Stichting-MINIX-Research-Foundation}, number = {3}, journal = {OSR}, author = {Herder, Jorrit N. and Bos, Herbert and Gras, Ben and Homburg, Philip and Tanenbaum, Andrew S.}, month = sep, year = {2006} } @inproceedings{herder_fault_2009, title = {Fault {Isolation} for {Device} {Drivers}}, url = {Paper=http://www.cs.vu.nl/~herbertb/papers/minix3_dsn09.pdf Web=http://www.minix3.org Code=https://github.com/Stichting-MINIX-Research-Foundation}, booktitle = {{DSN}}, author = {Herder, Jorrit N. and Bos, Herbert and Gras, Ben and Homburg, Philip and Tanenbaum, Andrew S.}, month = oct, year = {2009}, keywords = {type_conf, type_tier1, type_top} } @article{tanenbaum_minix_2010, title = {{MINIX} 3: {Status} {Report} and {Current} {Research}}, volume = {35}, shorttitle = {{MINIX} 3}, url = {Paper=http://www.cs.vu.nl/~giuffrida/papers/login-2010.pdf Web=http://www.minix3.org Code=https://github.com/Stichting-MINIX-Research-Foundation}, number = {3}, journal = {;login}, author = {Tanenbaum, Andrew S. and Appuswamy, Raja and Bos, Herbert and Cavallaro, Lorenzo and Giuffrida, Cristiano and Hrubỳ, Tomáš and Herder, Jorrit and van der Kouwe, Erik}, month = aug, year = {2010}, keywords = {class_updating, type_mag} } @article{de_bruijn_application-tailored_2011, title = {Application-{Tailored} {I}/{O} with {Streamline}}, volume = {29}, url = {Paper=http://www.cs.vu.nl/~herbertb/projects/streamline/papers/streamline-tocs-2011.pdf Web=https://www.cs.vu.nl/~herbertb/projects/streamline}, number = {2}, journal = {TOCS}, author = {de Bruijn, Willem and Bos, Herbert and Bal, Henri}, month = dec, year = {2011}, keywords = {I/O buffering, streams and filters, zero-copy}, pages = {6:1--6:33} } @inproceedings{bosman_minemu:_2011, title = {Minemu: {The} {World}'s {Fastest} {Taint} {Tracker}}, url = {Paper=http://www.few.vu.nl/~herbertb/papers/minemu_raid11.pdf Web=https://minemu.org}, booktitle = {{RAID}}, author = {Bosman, Erik and Slowinska, Asia and Bos, Herbert}, month = oct, year = {2011}, keywords = {class_binary, type_ast, type_conf, type_mscthesis, type_top} } @inproceedings{portokalidis_argos:_2006, title = {Argos: an {Emulator} for {Fingerprinting} {Zero}-{Day} {Attacks}}, url = {Paper=http://www.cs.vu.nl/~herbertb/papers/argos_eurosys06.pdf Web=http://www.few.vu.nl/argos}, booktitle = {{EuroSys}}, author = {Portokalidis, Georgios and Slowinska, Asia and Bos, Herbert}, month = dec, year = {2006}, keywords = {type_conf, type_tier1, type_top} } @inproceedings{cojocar_jtr:_2017, title = {{JTR}: {A} {Binary} {Solution} for {Switch}-{Case} {Recovery}}, url = {https://link.springer.com/chapter/10.1007/978-3-319-62105-0_12}, booktitle = {{ESSoS}}, author = {Cojocar, Lucian and Kroes, Taddeus and Bos, Herbert}, month = jul, year = {2017}, keywords = {class_binary, type_ast, type_conf} } @inproceedings{kroes_delta_2018, title = {Delta {Pointers}: {Buffer} {Overflow} {Checks} {Without} the {Checks}}, url = {Paper=https://download.vusec.net/papers/delta-pointers_eurosys18.pdf Slides=https://download.vusec.net/slides/delta-pointers-eurosys18.pdf Code=https://github.com/vusec/deltapointers}, booktitle = {{EuroSys}}, author = {Kroes, Taddeus and Koning, Koen and van der Kouwe, Erik and Bos, Herbert and Giuffrida, Cristiano}, month = apr, year = {2018}, keywords = {class_sanitizer, proj_binrec, proj_panta, proj_securecode, type_conf, type_tier1, type_top} } @inproceedings{kroes_binrec:_2018, title = {{BinRec}: {Attack} {Surface} {Reduction} {Through} {Dynamic} {Binary} {Recovery}}, url = {Paper=https://download.vusec.net/papers/binrec-feast18.pdf Slides=https://download.vusec.net/slides/binrec-feast18.pdf}, booktitle = {{FEAST}}, author = {Kroes, Taddeus and Altinay, Anil and Nash, Joseph and Na, Yeoul and Volckaert, Stijn and Bos, Herbert and Franz, Michael and Giuffrida, Cristiano}, month = oct, year = {2018}, keywords = {class_binary, proj_binrec, type_workshop} } @inproceedings{gras_absynthe:_2020, title = {{ABSynthe}: {Automatic} {Blackbox} {Side}-channel {Synthesis} on {Commodity} {Microarchitectures}}, booktitle = {{NDSS}}, author = {Gras, Ben and Giuffrida, Cristiano and Kurth, Michael and Bos, Herbert and Razavi, Kaveh}, month = feb, year = {2020}, keywords = {class_sidechannels, proj_panta, proj_react, proj_unicore, type_conf, type_tier1, type_top} } @inproceedings{razavi_scalable_2013, title = {Scalable {Virtual} {Machine} {Deployment} {Using} {VM} {Image} {Caches}}, url = {http://www.cs.vu.nl/~kaveh/pubs/pdf/sc13.pdf}, booktitle = {{SC}}, author = {Razavi, Kaveh and Kielmann, Thilo}, month = oct, year = {2013}, keywords = {Scalability, infrastructure-as-a-service, type_conf, type_top} } @inproceedings{razavi_squirrel:_2014, title = {Squirrel: {Scatter} {Hoarding} {VM} {Image} {Contents} on {IaaS} {Compute} {Nodes}}, url = {http://www.cs.vu.nl/~kaveh/pubs/pdf/hpdc14.pdf}, booktitle = {{HPDC}}, author = {Razavi, Kaveh and Ion, Ana and Kielmann, Thilo}, month = oct, year = {2014}, keywords = {VM images, caching, compression, deduplication, type_conf, type_top} } @inproceedings{razavi_kangaroo:_2015, title = {Kangaroo: {A} {Tenant}-{Centric} {Software}-{Defined} {Cloud} {Infrastructure}}, url = {http://www.cs.vu.nl/~kaveh/pubs/pdf/ic2e15.pdf}, booktitle = {{IC}2E}, author = {Razavi, K. and Ion, A. and Tato, G. and Jeong, K. and Figueiredo, R. and Pierre, G. and Kielmann, T.}, month = sep, year = {2015}, keywords = {Amazon EC2, Bridges, Computer architecture, Hardware, IPOPsm, Kangaroo, Nested Cloud, Open Stack API, Open Stack-based virtual infrastructure provider, Peer-to-peer computing, Resource management, Skippy, Software-Defined Infrastructure, VM, Virtualization, application program interfaces, cloud computing, linux, local Open Nebula deployment, nested virtualization, networking overlay, overlay networks, software defined networking, tenant-centric software-defined cloud infrastructure, type_conf, virtual infrastructure API, virtual machines, virtual networking switch, virtualisation} } @inproceedings{barresi_cain:_2015, title = {{CAIN}: {Silently} {Breaking} {ASLR} in the {Cloud}}, url = {http://www.cs.vu.nl/~kaveh/pubs/pdf/woot15.pdf}, booktitle = {{WOOT}}, author = {Barresi, Antonio and Razavi, Kaveh and Payer, Mathias and Gross, Thomas R.}, month = oct, year = {2015}, keywords = {type_conf, type_sidechannel} } @inproceedings{razavi_prebaked_2015, title = {Prebaked {uVMs}: {Scalable}, {Instant} {VM} {Startup} for {IaaS} {Clouds}}, url = {http://www.cs.vu.nl/~kaveh/pubs/pdf/icdcs15.pdf}, booktitle = {{ICDCS}}, author = {Razavi, K. and Kolk, G. V. D. and Kielmann, T.}, month = oct, year = {2015}, keywords = {Booting, IaaS clouds, Instant VM Startup, Resource Hot-plugging, Scalability, Servers, Squirrel, VM boot cache service, VM images, VM operating system, Virtual machining, Web servers, cache storage, cloud computing, computer centres, data center, deduplicated file system, elastic applications, hot-plugging resources, kernel, linux, memory management, operating systems (computers), prebaked μVMs, scalable instant VM startup, type_conf, type_top, virtual machine startup times, virtual machines} } @inproceedings{chen_stackarmor:_2015, title = {{StackArmor}: {Comprehensive} {Protection} from {Stack}-based {Memory} {Error} {Vulnerabilities} for {Binaries}}, url = {http://www.cs.vu.nl/~giuffrida/papers/ndss-2015.pdf}, booktitle = {{NDSS}}, author = {Chen, Xi and Slowinska, Asia and Andriesse, Dennis and Bos, Herbert and Giuffrida, Cristiano}, month = nov, year = {2015}, keywords = {class_armor, class_rand, type_ast, type_conf, type_tier1, type_top} } @inproceedings{costa_r2c2:_2015, title = {R2C2: {A} {Network} {Stack} for {Rack}-scale {Computers}}, url = {http://www.cs.vu.nl/~kaveh/pubs/pdf/sigcomm15.pdf}, booktitle = {{SIGCOMM}}, author = {Costa, Paolo and Ballani, Hitesh and Razavi, Kaveh and Kash, Ian}, month = nov, year = {2015}, keywords = {cloud computing, congestion control, data center networks, networks, rack-scale computers, rack-scale network stack, route selection, transport protocols, type_conf, type_tier1, type_top} } @inproceedings{van_der_veen_guardion:_2018, title = {{GuardION}: {Practical} {Mitigation} of {DMA}-based {Rowhammer} {Attacks} on {ARM}}, url = {Paper=https://vvdveen.com/publications/dimva2018.pdf Web=https://rampageattack.com Code=https://github.com/vusec/guardion}, booktitle = {{DIMVA}}, author = {van der Veen, Victor and Lindorfer, Martina and Fratantonio, Yanick and Padmanabha Pillai, Harikrishnan and Vigna, Giovanni and Kruegel, Christopher and Bos, Herbert and Razavi, Kaveh}, month = jun, year = {2018}, note = {Pwnie Award Nomination for Best Privilege Escalation Bug}, keywords = {class_mobile, class_rowhammer, type_award, type_conf, type_press} } @inproceedings{oikonomopoulos_effectiveness_2018, title = {On the {Effectiveness} of {Code} {Normalization} for {Function} {Identification}}, url = {Paper=https://download.vusec.net/papers/kamino_prdc18.pdf Code=https://github.com/vusec/kamino}, booktitle = {{PRDC}}, author = {Oikonomopoulos, Angelos and Vermeulen, Remco and Giuffrida, Cristiano and Bos, Herbert}, month = dec, year = {2018}, keywords = {class_binary, proj_binrec, proj_parallax, type_conf} } @inproceedings{giuffrida_i_2014, title = {I {Sensed} {It} {Was} {You}: {Authenticating} {Mobile} {Users} with {Sensor}-{Enhanced} {Keystroke} {Dynamics}}, url = {Paper=http://www.cs.vu.nl/~giuffrida/papers/dimva-2014.pdf Code=https://github.com/vusec/unagi}, booktitle = {{DIMVA}}, author = {Giuffrida, Cristiano and Majdanik, Kamil and Conti, Mauro and Bos, Herbert}, month = sep, year = {2014}, keywords = {Management of Computing and Information Systems, Systems and Data Security, class_mobile, class_sidechannels, e-Commerce/e-business, type_conf, type_mscthesis} } @inproceedings{oliverio_secure_2017, title = {Secure {Page} {Fusion} with {VUsion}}, url = {Paper=https://download.vusec.net/papers/vusion_sosp17.pdf Web=https://www.vusec.net/projects/vusion Code=https://github.com/vusec/vusion}, booktitle = {{SOSP}}, author = {Oliverio, Marco and Razavi, Kaveh and Bos, Herbert and Giuffrida, Cristiano}, month = oct, year = {2017}, keywords = {class_rowhammer, class_sidechannels, proj_sharcs, type_conf, type_tier1, type_top} }