Nyhetsflöde
Logga in till din kurswebb
Du är inte inloggad på KTH så innehållet är inte anpassat efter dina val.
Har du frågor om kursen?
Om du är registrerad på en aktuell kursomgång, se kursrummet i Canvas. Du hittar rätt kursrum under "Kurser" i personliga menyn.
Är du inte registrerad, se Kurs-PM för DD142X eller kontakta din studentexpedition, studievägledare, eller utbilningskansli.
I Nyhetsflödet hittar du uppdateringar på sidor, schema och inlägg från lärare (när de även behöver nå tidigare registrerade studenter).
You can surely reach out to other students. This is partly the idea behind group environments formed by students supervised by the same lecturer.
We do the project "Formal models of hardware peripherals". Our host is Linux and the peripheral is anything connected at the UART serial connector RS-232, allowing a console at the serial connector.
We can demo trivial root shell using the busybox/barebox hush shell ("The humble shell") which seems to allow root shell by default. We're trying to restrict the access so that we can demo a more interesting case than direct root access.
We document it with a formal model using NuSMV and SMV for model-checking.
The documentation is in our repository. Feedback is welcome.
@Niklas
Det går bra att föreslå andra projekt än de som finns i projektlistan.
Vi avråder starkt från att blanda in en uppdragsgivare (företag, sponsor, annan institution) i kexjobbet. Som självständigt arbete är det centralt att ni själva är de som bestämmer vad som ska göras och hur det ska göras. Vi har tidigare givit dispens för några få kexjobb kopplade till företag och har mycket dåliga erfarenheter från detta.
Handledaren är alltid en av lärarna kopplade till kursen. Handledares roll är dock inte att vara specialist på det man undersöker och det är inte fel att söka kontakt med andra experter inom och utanför KTH.
Hi Niclas
In your thesis report there can always be a section (before the table of contents) called "Acknowledgments", where you can express your gratitude.