Publication list
- Zastosowanie bisymulacji do weryfikowania własności Non-Interference, FIT XVI, grudzień 2002
- CsPL, system do weryfikacji bezpieczeństwa programów, FIT XVII, grudzień 2003
- eXtensible Multi
Security, Contracts for .NET, Journal of .NET Technologies Vol.4,
2006, ISSN 1801-2108, ISBN 80-86943-13-5
- eXtensible Multi Security: Security Framework for .NET, PhD thesis, October 21, 2008
Books
Blog on Blogspot
Programming
- TorqChess HomePage, VIII.2001
- Maze generation, VII.2002
- Trilma.NET, II.2003
- C# (short introduction), VI.2002
- C# (short FAQ), X.2002
- LogicImage.NET, IX.2003
- Local Data Model for .NET Database
Application, VII.2004
- Lengthy Operations on Single
Thread
in .NET Application
- Pocket Trilma.NET,
IX.2004
- ScreenGrabber.NET,
VI.2005
- Another strategy for fighting KBCs,
VIII.2005
- Model-View-Controller for Windows.Forms
Application, V.2006
- Communicating WebServices "below" the SoapHttpClientProtocol, V.2007
Lectures
Other links
|
|