| 2009 |
|---|
| 17 | EE | Konstantinos Chatzikokolakis,
Gethin Norman,
David Parker:
Bisimulation for Demonic Schedulers.
FOSSACS 2009: 318-332 |
| 16 | EE | Konstantinos Chatzikokolakis,
Sophia Knight,
Prakash Panangaden:
Epistemic Strategies and Games on Concurrent Processes.
SOFSEM 2009: 153-166 |
| 2008 |
|---|
| 15 | EE | Christelle Braun,
Konstantinos Chatzikokolakis,
Catuscia Palamidessi:
Compositional Methods for Information-Hiding.
FoSSaCS 2008: 443-457 |
| 14 | EE | Konstantinos Chatzikokolakis,
Keye Martin:
A Monotonicity Principle for Information Theory.
Electr. Notes Theor. Comput. Sci. 218: 111-129 (2008) |
| 13 | EE | Konstantinos Chatzikokolakis,
Catuscia Palamidessi,
Prakash Panangaden:
Anonymity protocols as noisy channels.
Inf. Comput. 206(2-4): 378-401 (2008) |
| 12 | EE | Konstantinos Chatzikokolakis,
Catuscia Palamidessi,
Prakash Panangaden:
On the Bayes risk in information-hiding protocols.
Journal of Computer Security 16(5): 531-571 (2008) |
| 2007 |
|---|
| 11 | EE | Konstantinos Chatzikokolakis,
Catuscia Palamidessi:
Making Random Choices Invisible to the Scheduler.
CONCUR 2007: 42-58 |
| 10 | EE | Konstantinos Chatzikokolakis,
Catuscia Palamidessi,
Prakash Panangaden:
Probability of Error in Information-Hiding Protocols.
CSF 2007: 341-354 |
| 9 | EE | Romain Beauxis,
Konstantinos Chatzikokolakis,
Catuscia Palamidessi,
Prakash Panangaden:
Formal Approaches to Information-Hiding (Tutorial).
TGC 2007: 347-362 |
| 8 | EE | Konstantinos Chatzikokolakis,
Catuscia Palamidessi:
Making Random Choices Invisible to the Scheduler
CoRR abs/0705.3503: (2007) |
| 7 | EE | Konstantinos Chatzikokolakis,
Catuscia Palamidessi:
A framework for analyzing probabilistic protocols and its application to the Partial Secrets Exchange.
Theor. Comput. Sci. 389(3): 512-527 (2007) |
| 2006 |
|---|
| 6 | EE | Konstantinos Chatzikokolakis,
Catuscia Palamidessi,
Prakash Panangaden:
Anonymity Protocols as Noisy Channels.
TGC 2006: 281-300 |
| 5 | EE | Konstantinos Chatzikokolakis,
Catuscia Palamidessi:
Probable innocence revisited.
Theor. Comput. Sci. 367(1-2): 123-138 (2006) |
| 2005 |
|---|
| 4 | EE | Tom Chothia,
Konstantinos Chatzikokolakis:
A Survey of Anonymous Peer-to-Peer File-Sharing.
EUC Workshops 2005: 744-755 |
| 3 | EE | Konstantinos Chatzikokolakis,
Catuscia Palamidessi:
Probable Innocence Revisited.
Formal Aspects in Security and Trust 2005: 142-157 |
| 2 | EE | Konstantinos Chatzikokolakis,
Catuscia Palamidessi:
A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange.
TGC 2005: 146-162 |
| 2004 |
|---|
| 1 | EE | Konstantinos Chatzikokolakis,
George Boukeas,
Panagiotis Stamatopoulos:
Construction and Repair: A Hybrid Approach to Search in CSPs.
SETN 2004: 342-351 |
