Supporting Compliance with Security Standards by Trust Case Templates. - Lukasz Cyra; Janusz Górski (DepCoS-RELCOMEX, 2007)

Extending GQM by Argument Structures. - Lukasz Cyra; Janusz Górski (CEE-SET, 2007)

An integrated framework for security protocol analysis. - Marcin Olszewski; Lukasz Cyra (AsiaCCS, 2008)

Standards Conformity Framework in Comparison with Contemporary Methods Supporting Standards Application. - Lukasz Cyra; Janusz Górski (DepCoS-RELCOMEX, 2008)

An Approach to Evaluation of Arguments in Trust Cases. - Lukasz Cyra; Janusz Górski (DepCoS-RELCOMEX, 2008)

Expert Assessment of Arguments: A Method and Its Experimental Evaluation. - Lukasz Cyra; Janusz Górski (SAFECOMP, 2008)

Overcoming Non-determinism in Testing Smart Devices: A Case Study. - Peter G. Bishop; Lukasz Cyra (SAFECOMP, 2010)

SCF - A framework supporting achieving and assessing conformity with standards. - Lukasz Cyra; Janusz Górski (Comput. Stand. Interfaces, 2011)

Support for argument structures review and assessment. - Lukasz Cyra; Janusz Górski (Reliab. Eng. Syst. Saf., 2011)

Combining testing and proof to gain high assurance in software: A case study. - Peter G. Bishop; Robin E. Bloomfield; Lukasz Cyra (ISSRE, 2013)

European Reference Network for Critical Infrastructure Protection. - Adam M. Lewis; David Ward; Lukasz Cyra; Naouma Kourti (Int. J. Crit. Infrastructure Prot., 2013)