TLS-Technologies

Dziedziny badań

Nasze przygotowanie naukowe i działalność badawcza obejmują następujące dziedziny:

kryptologia:
- bezpieczeństwo oparte na teorii złożoności;
- protokoły z zerową wiedzą;
- bezpieczeństwo bezwarunkowe;
formalne metody konstrukcji oprogramowania:
- programowanie funkcyjne;
- specyfikacja oprogramowania;
- weryfikacja oprogramowania przy użyciu weryfikacji modeli (ang. model checking) oraz wspomaganych komputerowo metod dowodzenia;
konstrukcja kompilatorów;
algorytmy i złożoność.

Projekt Mobius

TLS-Technologie uczestniczy w międzynarodowym projekcie MOBIUS, realizowanym pod patronatem FET Global Computing Proactive Initiative.

Celem projektu jest opracowanie technik dowodzenia bezpieczeństwa aplikacji w następnej generacji aplikacji globalnych (Global Computers), przy zastosowaniu technologii Kodu Uwierzytelnionego (Proof Carrying Code). Technologia ta pozwala automatycznie wykrywać luki i potencjalne ataki na tworzone oprogramowanie.

W projekcie bierze udział 16 europejskich ośrodków, w tym dwa z Polski: Uniwersytet Warszawski i TLS-Technologie.

Nasi pracownicy

Niezależnie od badań prowadzonych przez TLS-Technologie, pracownicy TLS prowadzą lub prowadzili własną działalność naukową w zakresie:

specyfikacji i weryfikacji oprogramowania, w szczególności weryfikacji oprogramowania w Javie z zastosowaniem narzędzia wspomagającego dowodzenie Coq;
projektowania algorytmów rozproszonych (distributed algorithms) automatycznie dostosowujących się do awarii poszczególnych stacji bazowych;
badania promieniowania rentgenowskiego dysków akrecyjnych wokół czarnych dziur.

Wybrane publikacje

Support for XML in Java 5.0
Partyk Czarnik
Software Developers Journal, 2005;
GRS 1915+105: the brightest Galactic black hole
Chris Done, Grzegorz Wardziński, Marek Gierliński
MNRAS, 2004.
Alternatywne źródła zdarzeń SAX
Partyk Czarnik
Software 2.0, 2004;
XML Schema - i co dalej?
Partyk Czarnik
Software 2.0, 2003;
CPU patch for Linux kernel
Karol Gołąb
2002;
X-ray and gamma-ray spectra and variability of the black-hole candidate GX 339-4
Grzegorz Wardzinski, Andrzej A. Zdziarski, Marek Gierlinski, J. Eric Grove, Keith Jahoda, W. Neil Johnson
MNRAS, 2002;
JAVA czy .NET?
Grzegorz Grudziński
JWGL, 2001;
Zaawansowane narzędzia programowania rozproszonego
Karol Gołąb
JWGL, 2001;
Quantum Computing and Cryptography
Karol Gołąb
Będlewo, 2001;
Jakość w Open Source
Robert Maron
JWGL, 2001;
Thermal synchrotron radiation and its Comptonization in compact X-ray sources
Grzegorz Wardziński, Andrzej Zdziarski
MNRAS, 2000;

Do góry