DevConf.CZ 2019

Have a great idea for a data science experiment but don't have the hardware to run it?  The Massachusetts Open Cloud (MOC) and Red Hat have partnered to deploy the Open Data Hub, an open source AI-as-a-Service platform, into the MOC giving you access to hardware and support required for leading edge experiments.

The MOC Infrastructure-as-a-Service platform combined with OpenShift and current data science development tools provides you with an alternative to using public clouds to execute your experiments.

The Open Data Hub currently has a number of early adopter projects running in the MOC environment and the Open Cloud Exchange model the MOC has implemented is something we are working with local parties in Czech Republic to reproduce.

Attend this talk to learn about:

• What the Massachusetts Open Cloud and Open Cloud Exchange is
  
• Current projects running in the MOC
  
• Running your project in the MOC
  
• How we are working with parties in Czech Republic to replicate the MOC implementation and goals
  

Modern day computing has us surrounded with all these 256 bit AES keys, 4096 bit RSA keys, 384 bit ECDSA keys or 448 bit Blowfish keys. The AVX-512 instructions allow for operating on 512 bits at once. It might seem that those numbers are easily within our grasp, but are they?

In this session, we present the DiffKemp project - a tool for automatic
analysis of code differences between two versions of the Linux kernel. The
tool partially automates kernel option compatibility cross-check (sysctl
variables, module parameters) which makes the process of the kernel
development and deployment more efficient and reliable. The approach that we use is based on static analysis of the kernel source code, which makes sure that all program paths are covered. Moreover, we use advanced formal methods to prove an equivalence of semantics of programs even when the code is syntactically different.

KETCube is the novel modular prototyping/demo/edu IoT platform developed at KET UWB (University of West Bohemia) in Pilsen. It's primary intended is LPWAN IoT node prototyping and test-series deployment (very small footprint).
KETCube platform consists of firmware, mainBoard, a set of extension boards and industry-like documentation.

The modular design of firmware allows rapid extension development. An easy-to-develop KETCube sensor/actuator extension boards or mikroBUS(TM)-compatible sensor boards, can be connected to KETCube main board.

KETCube is released under BSD-like license (https://github.com/SmartCAMPUSZCU/KETCube-docs). The target audience are educationalists, IoT HW developers and makers. We would like to attract potential users and contributors. Max attendees: unlimited.

Each summer, we take a group of teenagers and spend a week in mountains, teaching them programming. The camp has been going on for 20 years. We'd like to share our experiences. What have we learned? How to do such camp in a way accessible to teenagers? Can I join, or even hold my own camp? And what technologies to use?

The answer to the last question is simple: open source, of course. During the past years, we've even started developing our own tools. Let's grab them from Github and have some fun.

The talk is open to anyone, whether you're working in education or not. Come to get some inspiration. And give some, if possible – we want to learn from you and hope for a nice discussion.

Last year, we asked 75 developers to validate five certificates and understand the error messages they got.

Why did or didn't they succeed? What were the most common misconceptions? What resources did people use to determine the security consequences? Can we improve the situation by creating better documentation?
In our research, we focused on error messages and documentation regarding the validation of TLS certificates. We'll present insights from the DevConf 2018 research booth, answering the questions from the previous paragraph.

We use TLS certificate validation as a real-world example to spark conversation on usable security and developer experience.
This research is a part of the academic cooperation of Red Hat and Masaryk University.