Tid: 23. oktober 2018 kl.17:00 til ca. 19:30.
Sted: Aud. D på Niels Bohr Institutet, Blegdamsvej 17, 2100 København Ø
Vejledende tilmelding på https://doodle.com/poll/6favx389fmyh6nuw. 

 Velkommen til sæsonens første medlemsmøde hvor vi præsenterer årets bedste specialer fra 2017.

 Nr. 1:
Anders P.K. Dalskov: “End-to-End Encrypted Cloud Storage: A security analysis of SpiderOak ONE”

We examine in the following thesis the proprietary cloud storage application SpiderOak ONE developed and maintained by the Cloud Storage Provider SpiderOak. In a nutshell, the Cloud Storage Provider claims that, due to the user’s data being encrypted before it leaves the user’s computer, only the user (or someone knowing the user’s password) can access the data. In particular, the Cloud Storage Provider cannot read any of the user’s files. We set out to examine this claim. As the application in question does not provide any kind of source code, and little in way of documentation, we first describe how we reverse engineered the application. We then provide a formal description of the authentication protocols used by the application, how it handles cryptographic keys, file encryption and password changes. Finally, we demonstrate several concrete attacks, which a malicious storage provider can carry out that weakens — or entirely breaks — the confidentiality of the user’s password and thus the confidentiality of the user’s stored data.

We disclosed our findings in a responsible manner and SpiderOak updated their product.

Nr. 2:
Kristian Jagd and Mathias Thulstrup Johansen: ”Speech Recognition Systems with Kaldi: Speech-enabling Applications with an Improved Method for Generating Recognizers”

The aim of this thesis is to simplify the process of building and using speech recognizers with the Kaldi toolkit. This is done by creating a tool, which makes it easier and faster for developers to use the open source, speech recognition toolkit Kaldi.

The thesis presents general background information about speech recognition and the speech recognition toolkit Kaldi. An analysis shows why Kaldi is difficult to use for developers who are new to speech recognition. Based on this information, we derive the requirements specification for our tool. We then describe and discuss how the tool is designed and implemented.

Lastly, the developed tool has undergone a user evaluation. The evaluation indicates that the tool does indeed allow the target users to setup and test a speech recognizer based on a Deep Neural Network (DNN) much faster than when using Kaldi without the tool.

 ---OOO---

Efter fremlæggelserne er der som sædvanlig lidt at drikke og mulighed for at stille yderligere spørgsmål til foredragsholderne eller til almindelig faglig/social snak.

Lars Bak spent the last 30 years designing and implementing object-oriented programming languages. His passion for this area started in 1986 when implementing a runtime system for BETA. Since then, Lars has left marks on several software systems: Self, Strongtalk, JVM HotSpot, JVM CLDC HI, OOVM Smalltalk, V8, and Dart, and lately Toit. In 2018, he received the Dahl-Nygaard prize for design and implementation of several object-oriented systems. Lars has a master’s degree in computer science at Aarhus University from 1988.

Árrangementet holdes sammen med Institut for Naturfagenes Didaktik, som har besøg af Tom Haigh – og med ITU som co-host.

Yderligere information: http://diku.dk/begivenhedsmappe/begivenheder-2018/datahistorisk-foredrag-ved-tom-haigh/

Programmering af stadigt større og mere komplekse supercomputere

Beregningsdrevet forskning oplever et voldsomt løft ved at supercomputere bliver stadigt større og man kan derfor simulere med stadigt større opløsning eller over længere tid. Samtidigt med at computerne bliver større bliver de stadigt vanskeligere at programmere og det ventes at den første computer der leverer en exaflops vil anvende mere end 100M processor-kerner. Alene udfordringen i at skrive programmer der kører parallelt på millioner af processorer er voldsom, hvis man dertil ligger udfordringer med at optimere hukommelsestilgang og I/O flow bliver opgaven så uoverskuelig at de fleste forskere vil opgive at skrive egne programmer til disse maskiner.

Foredraget vil introducere udfordringerne i og fremtiden for supercomputere, og vil derefter gå videre til at introducere projektet Bohrium ( www.bh107.org ) som er en just-in-time compiler der udvikles i eScience gruppen på Niels Bohr Instituttet, hvis formål er at gøre det muligt for forskere at skrive deres programmer i et høj-produktivitets sprog, typisk Python, og så kunne afvikle dem på supercomputere.

Indtagelse af stadigt stærkere og mere komplekse øl

Tiden hvor en øl aldrig kunne være andet end en pilsner er for længst passeret og alle supermarkeder har i dag et rimeligt udvalg af de mest populære alternativer til pilsneren. I denne ølsmagning vil vi prøve at kommer lidt længere ud i alternative øl. Der vil være en forklaring på øltyper og brygmetoder og anekdoter fra øllets verden.

Tid: 28. september 1630-1800

Sted: Copenhagen Business School, Kilevej 14, lokale Ks71.

(OBS: Nyt lokale)

Forfatterne til de nominerede specialer præsenterer deres arbejde:

Silas Nyboe Ørting: Automatic estimation of emphysema extent in low-dose CT scans of the lungs. Datalogisk Insititut KU (Vinder af prisen for bedste datalogispeciale, 2016).

Mikkel Kragh Mathiesen: Infinite-Dimensional Linear Algebra for Efficient Query Processing. Datalogisk Institut, KU.

Thomas Jensen: Global Selections with Fine-Grained Access Control. Datalogisk Institut, KU.

Arni Einarsson: Guidelines for designing immersive videos to support learning activities: Case study of new eyes on the world.
Datalogisk Institut, KU.

Beskrivelser af specialerne kan ses i forårets medlemsblad.

Hermed indkaldes til ordinær generalforsamling Torsdag den 1. juni 2017 kl. 16.00 – ca. 16.30