Information on the processing of personal data
Before you give your consent in the sign-up form, we are obligated to inform about the processing of personal data based on Databeskyttelsesforordningen.
We are obligated to inform you about the details of our processing of your data and furthermore inform you about your rights in reference to this.
Legal basis
Our processing of personal data is based on article 6, paragraph 1, item a (consent) of Databeskyttelsesloven.
The data will be stored safely with Aarhus Kommune for as long as you wish to receive news from Tech City Aarhus. Your data will be deleted permanently if you choose to unsubscribe. The information will not be shared with others and data will exclusively be processed by Aarhus Kommune Erhverv.
Your rights
You have the right to request insight in the information we hold about you.
You have the right to request eligibility or deletion of the information.
Who is using your information?
The data responsible is part of Aarhus Kommune and your personal data is processed only by:
Data responsible:
Borgmesterens Afdeling
Erhverv og Bæredygtig Udvikling
Aarhus Kommune Erhverv
Rådhuspladsen 2
8000 Aarhus C
E-mail: aarhuskommuneerhverv@aarhus.dk
Telephone: +45 89 40 22 00
If you have any questions in connection to the processing of your data by Aarhus Kommune, please contact the advisor of data protection of Aarhus Kommune at: databeskyttelsesraadgiver@aarhus.dk
Finally, we will inform you that it is possible to address a complaint to Datatilsynet about our processing of personal data at: www.datatilsynet.dk
Date:
Time:
18:00- 21:00
The Tec-O-Meter indicates the tech level of the TEC FIVE talk. Read more about the specific level in the event description.
Or click here to
read more
INCUBA Katrinebjerg
Lille Auditorium
Åbogade 15
8200, Aarhus N
Benjamin Salling Hvass, Mikkel Wienberg Madsen, Gert Læssøe Mikkelsen & Bas Spitters.
In the last couple of years, LLM based tools, like GitHub Copilot, have become a popular aide in software development. They have been used for autocompletion, for translations and in reasoning. However, they have a tendency to hallucinate and to produce insecure code. How well do they fare on rust, and can we use them to help us write safer and less vulnerable code?
Rust is a new and somewhat smaller language, which is less represented in the training data. So, one can expect some challenges. At the same time, one can hope that rust's type checker and borrow checker can help to catch LLMs hallucinations.
In this talk we will go over several ways we have tried to use LLMs in a more automated approach, from translation of other languages into rust, to fixing compiler errors and reasoning about software vulnerabilities. The talk is also an invitation to collect feedback and experiences in the use of LLMs from the Rust Aarhus community.
[ The talk presents some of the outcomes of an explorative project supported by the CenSec cluster. ]
Bas will present the Hax toolchain for high-assurance cryptography in Rust. Hax uses Rust as a specification language for cryptographic primitives and protocols, together with formal methods tools to link those specifications to highly optimized implementations. Hax is being used in projects together with Microsoft research, Google, the Signal Foundation, ... There is also interest from the IETF, which standardizes internet protocols.
Bas Spitters is associate professor CS, Aarhus University.
This meetup will be at INCUBA Katrinebjerg, Lille Auditorium, Åbogade 15, 8200 Aarhus.
We will try to have a combination of vegan and non-vegan food. If you have special needs regarding food (e.g. allergies), please forward your request to tue@rustaarhus.dk.