Parametric sequence alignment with constraints

10.1023/A:1011429504996Constraints62-3157-172CNST

Trusted principal-hosted certificate revocation

10.1007/978-3-642-22200-9_15IFIP Advances in Information and Communication Technology358 AICT173-18

Extending BAN logic for reasoning with modern PKI-based protocols

10.1109/NPC.2008.86Proceedings - 2008 IFIP International Conference on Network and Parallel Computing, NPC 2008190-19

Quantifying the effects of more timely certificate revocation on lightweight mobile devices

10.1109/Metrisec.2011.17Proceedings - 2011 3rd International Workshop on Security Measurements and Metrics, Metrisec 201131-4

Constrained decision diagrams

Proceedings of the National Conference on Artificial Intelligence1366-371PNAI

Constraint Programming 2000: A Position Paper

Constraints2171-73CNST

The problem of usable binary authentication

10.1109/SSIRI-C.2010.19SSIRI-C 2010 - 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion34-3

A user-level framework for auditing and monitoring

10.1109/CSAC.2005.8Proceedings - Annual Computer Security Applications Conference, ACSAC200595-105CMSC

Search space reduction and russian doll search

Proceedings of the National Conference on Artificial Intelligence1179-184PNAI

Making AC-3 an optimal algorithm

IJCAI International Joint Conference on Artificial Intelligence316-32