https://wiki.minix3.org/ 2026-04-30T03:35:49+0200 https://wiki.minix3.org/ https://wiki.minix3.org/lib/tpl/minix3d/images/favicon.ico text/html 2014-11-17T13:21:31+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=studentprojects:liveupdateandreliability:asr&rev=1416226891&do=diff LLVM-based address space randomization Student: Silviu Baranga (IPA) Owner: Lorenzo Cavallaro <sullivan@cs.vu.nl> / Cristiano Giuffrida <giuffrida@cs.vu.nl> SVN branch name: N/A Description Memory errors are one of the largest class of vulnerabilities affecting the security of software. A successful memory error exploitation can lead to arbitrary code execution on the victims' machines. The outcome can be catastrophic as the attacker takes practically over the vulnerable process and can pe… text/html 2014-11-11T23:43:57+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=studentprojects:liveupdateandreliability:ipc-proxy&rev=1415745837&do=diff A framework to log and manipulate inter-process communications Student: Not assigned yet Owner: Cristiano Giuffrida <giuffrida@cs.vu.nl> SVN branch name: N/A Description Minix3 OS design revolves around a micro-kernel and several servers running as isolated, user-space processes, which implement all the text/html 2014-11-11T14:52:08+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=studentprojects:liveupdateandreliability:lu-dep-prob&rev=1415713928&do=diff Understanding dependability problems in live update solutions Student: Not assigned yet Owner: Cristiano Giuffrida <c.giuffrida@few.vu.nl> SVN branch name: N/A Abstract Many real-world software systems require continuous operation. In such high-availability environments, downtime is ill-affordable and scheduling maintenance for regular software updates is a tremendous challenge. Live update is a potential solution to this problem as it provides the ability to apply changes on-the-fly to a … text/html 2014-11-11T14:52:08+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=studentprojects:liveupdateandreliability:lu-prop-imp&rev=1415713928&do=diff Understanding properties and impact of software updates Student: Not assigned yet Owner: Cristiano Giuffrida <c.giuffrida@few.vu.nl> SVN branch name: N/A Abstract The complexity of software systems is increasing dramatically, and so are the number of bugs, security vulnerabilities, and unanticipated changes. Software updates represent a viable means to meet the growing demand for software evolution while maintaining high reliability and security standards. While updates are designed to hav… text/html 2014-11-11T14:52:08+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=studentprojects:liveupdateandreliability:rel-adv-bug&rev=1415713928&do=diff Beyond core dumps: advanced bug detection and failure prediction Student: Not assigned yet Owner: Cristiano Giuffrida <c.giuffrida@few.vu.nl> SVN branch name: N/A Abstract The Minix 3 reliability architecture offers proactive and reactive failure detection and recovery for device drivers. While it is often possible to recover from a transient failure with no significant service disruption, it is also desirable to detect and fix the originating bug as soon as possible. The traditional appro… text/html 2014-11-11T14:52:08+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=studentprojects:liveupdateandreliability:rel-push-app&rev=1415713928&do=diff Pushing MINIX 3's reliability architecture to application space Student: Not assigned yet Owner: Cristiano Giuffrida <c.giuffrida@few.vu.nl> SVN branch name: N/A Abstract The Minix 3 reliability architecture is designed to offer advanced functionalities to system processes, such as: (i) a dependable IPC subsystem based on message-passing; (ii) proactive and reactive failure detection and recovery; (iii) safe memory copying / mapping; (iv) general-purpose data store with a publish-subscribe… text/html 2014-11-11T14:52:08+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=studentprojects:liveupdateandreliability:rel-state-mgm&rev=1415713928&do=diff BSc Student: Not assigned yet Owner: Cristiano Giuffrida <c.giuffrida@few.vu.nl> SVN branch name: N/A Abstract A multiserver operating system is broken down into several independent components. In a pure event-driven model, every component is completely designed as a state machine. At any given time, a component is fully described by its internal state, i.e. the amount of data maintained in its address space. Every event brings the component into a new valid state. This project is to desig… text/html 2014-11-11T14:52:08+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=studentprojects:liveupdateandreliability:rel-stateful-rec&rev=1415713928&do=diff Transaction support for transparent stateful driver recovery Student: Not assigned yet Owner: Cristiano Giuffrida <c.giuffrida@few.vu.nl> SVN branch name: N/A Abstract This project is to investigate how a transactional IPC subsystem can allow transparent stateful crash recovery for device drivers. The transactional text/html 2014-11-11T14:52:08+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=studentprojects:liveupdateandreliability:rel-unit-test&rev=1415713928&do=diff A generic unit testing infrastructure for multiserver operating systems Student: Not assigned yet Owner: Cristiano Giuffrida <c.giuffrida@few.vu.nl> SVN branch name: N/A Abstract A robust unit testing infrastructure is crucial for the development of operating systems that strive to maintain very strong dependability guarantees. As operating systems become more complex and tend to evolve more quickly, maintaining an appropriate unit testing infrastructure is very challenging. On the other h… text/html 2014-11-11T14:52:08+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=studentprojects:liveupdateandreliability:rel-wholeos-rec&rev=1415713928&do=diff Whole-OS crash recovery Student: Not assigned yet Owner: Cristiano Giuffrida <c.giuffrida@few.vu.nl> SVN branch name: N/A Abstract This project is to design and implement a whole-OS crash recovery infrastructure able to recover from arbitrary crashes in MINIX 3 stateful components within a predefined recovery window. The project will build on top of the existing reliability infrastructure and leverage compiler-based techniques to track all the component state changes in a fine-grained mann… text/html 2014-11-11T14:52:08+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=studentprojects:liveupdateandreliability:versioning&rev=1415713928&do=diff Operating system versioning Student: Not assigned yet Owner: Cristiano Giuffrida <giuffrida@cs.vu.nl> SVN branch name: N/A Description MINIX3 is quickly evolving to become a highly-updateable operating system, in which OS updates (as opposed to application updates) can be installed offline or on-the-fly and be quickly rollbacked when something goes wrong.