News

We cordially invite you to the dissertation defence of Ing. Viktor Malík: Static Analysis of Programs in the C Language. Under the supervision of his supervisor, Professor Tomáš Vojnar, it approaches the problem of automatic static analysis of low-level software (i.e. analysis of the software'ssource code).  The thesis proposes new original techniques in two different areas of analysis: formal verification (i.e. proving of correctness) of programs working with complex data structures and fast
light-weight static analysis of semantic differences between versions of large-scale software (such as the Linux kernel or system libraries). 

The defence will take place on 5 March at 3 pm in the meeting room C209 at the FIT BUT.


The opponents are Florian Zuleger, Associate Prof. Dipl.-Math. Dr.techn. from TU Wien and Prof. RNDr. Jan Strejček, Ph.D. from FI MU.

On Thursday, 2 May 2024, the 10th annual Excel@FIT student thesis conference will take place.  Be sure to mark this date on your calendar, along with the date of February 28, when paper registration opens. If you want to show off your thesis or bachelor's thesis, get inspired, support your classmates, or meet people in the field, this is the event for you. 
This year, Excel@FIT is celebrating its tenth birthday and has prepared a few surprises for you, which we will inform you about as we go along. 


We look forward to seeing you and your contributions!

On Wednesday 31 January, the Economic Committee of the Chamber of Deputies held a seminar on the security threats of artificial intelligence. Kamil Malinka from FIT BUT presented his expert view to a wide audience from the state, commercial and academic spheres as well as representatives of defrauded citizens at the invitation of MP and chairman of the subcommittee on consumer protection Patrik Nacher. 

He spoke about deep fake scams. Artificial intelligence is constantly increasing their sophistication. "These are attacks on biometric systems, identity theft, hate propaganda and more. Artificial intelligence gives attackers "powerful new tools" against which we are relatively powerless", Kamil Malinka explains. Voice deepfakes are already at such a high level that it is impossible to distinguish an artificial voice from a real one by ear. With a human voice, an attacker calls and demands something. It may seem like someone you know is calling from a known number, but in reality it is a complete stranger from a different number and you won't have the slightest suspicion that it is a fake. What's more, this is how a robot programmed for this purpose can communicate with you.  The success rate of such calls increases with how much or how little one concentrates on them. When attention is fragmented and under pressure, people are much more likely to fall for a scam.



Kamil Malinka is working on the issue of deep fakes and their impact on security as part of the Security@FIT research group. Together with another group of researchers from Speech@FIT and Phonexia, they are collaborating on cybersecurity research as part of a Home Office challenge. The aim is to develop tools that can reliably identify man-made recordings.