Discrete Mathematics and its Applications

Research output

Research output per year 1978 1996 1998 2003 2005 2006 2007 2008 2009 2010 2011 2012 2024

• 309 Article
• 125 Chapter
• 81 Conference contribution
• 15 Doctoral Thesis
• 29 More
  • 8 Book
  • 7 Working paper
  • 6 Comment/debate
  • 5 Anthology
  • 2 Paper
  • 1 Other contribution

Research output per year

Research output per year

Search results

• 2021

  From matrix pivots to graphs in surfaces: exploring combinatorics through partial duals

  Moffatt, I., 2 Oct 2021, (Accepted/In press) European Congress of Mathematics Portorož, 20–26 June.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  79 Downloads (Pure)
• 2018

  Practical Attacks Against the Walnut Digital Signature Scheme

  Beullens, W. & Blackburn, S., 27 Oct 2018, (E-pub ahead of print) Advances in Cryptology - ASIACRYPT 2018. Springer, p. 35-61 27 p. (Lecture Notes in Computer Science; vol. 11272).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  64 Downloads (Pure)
• 2016

  A Practical Cryptanalysis of the Algebraic Eraser

  Ben-Zvi, A., Blackburn, S. & Tsaban, B., 21 Jul 2016, (E-pub ahead of print) Advances in Cryptology - CRYPTO 2016: 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part I. Robshaw, M. & Katz, J. (eds.). Springer, p. 179-189 11 p. (Lecture Notes in Computer Science; vol. 9814).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  66 Downloads (Pure)

• On the Security of the Algebraic Eraser Tag Authentication Protocol

  Blackburn, S. & Robshaw, M. J. B., 9 Jun 2016, (E-pub ahead of print) Applied Cryptology and Network Security: 14th International Conference, ACNS 2016, London (Guildford), UK, June 19-22, 2016. Springer-Verlang, Vol. 9696. p. 3-17 15 p. (Lecture Notes in Computer Science; vol. 9696).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  47 Downloads (Pure)
• 2012

  Anonymous Broadcast Encryption: Adaptive Security and Efficient Constructions in the Standard Model

  Libert, B., Paterson, K. & Quaglia, E., 2012, Public Key Cryptography. Fischlin, M., Buchmann, J. & Manulis, M. (eds.). Springer, Vol. 7293. p. 206-224 (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Authenticated-Encryption with Padding: A Formal Security Treatment

  Paterson, K. G. & Watson, G. J., 2012, Cryptography and Security. Naccache, D. (ed.). Springer, Vol. 6805. p. 83-107 25 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• On the Joint Security of Encryption and Signature in EMV

  Degabriele, J. P., Lehmann, A., Paterson, K. G., Smart, N. P. & Strefler, M., 2012, CT-RSA. Dunkelmann, O. (ed.). Springer, Vol. 7178. p. 116-135 20 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Plaintext-Recovery Attacks Against Datagram TLS

  Alfardan, N. & Paterson, K., 2012, Network and Distributed System Security Symposium. The Internet Society

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  573 Downloads (Pure)

• PTaCL: A Language for Attribute-Based Access Control in Open Systems

  Crampton, J. & Morisset, C., 2012, POST 2012: Principles of Security and Trust - First International Conference. Degano, P. & Guttman, J. (eds.). Springer, p. 390-409 20 p. (Lecture Notes in Computer Science; vol. 7215).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Security of Symmetric Encryption in the Presence of Ciphertext Fragmentation

  Boldyreva, A., Degabriele, J. P., Paterson, K. G. & Stam, M., 2012, EUROCRYPT. Pointcheval, D. & Johansson, T. (eds.). Springer, Vol. 7237. p. 682-699 18 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2011

  A survey of security services and techniques in distributed storage systems

  Xu, Z., Martin, K. M. & Kotnik, C., 2011, Proceedings of the 2011 International Conference on Security and Management (SAM '11). p. 3-9

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Breaking An Identity-Based Encryption Scheme based on DHIES

  Albrecht, M. & Paterson, K., 2011, IMA International Conference on Cryptography and Coding. Chen, L. (ed.). Springer, Vol. 7089. p. 344-355 (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Design of a multiagent-based e-marketplace to secure service trading on the Internet

  Li, Q., Martin, K. M. & Zhang, J., 2011, Proceedings of the 13th International Conference on Electronic Commerce (ICEC 2011) .

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Group Theory in Cryptography

  Blackburn, S., Cid, C. & Mullan, C., 2011, Group St Andrews 2009 in Bath. The London Mathematical Society, Vol. 387. p. 133-149 17 p. (LMS Lecture Note Series; vol. 387).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Offline Peer-to-Peer Broadcast with Anonymity

  Kiyomoto, S., Fukushima, K. & Martin, K. M., 2011, E-business and Telecommunications. 3 ed. Springer, Vol. 130. p. 174-185 (Communications in Computer and Information Science ).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• On Cipher-Dependent Related-Key Attacks in the Ideal Cipher Model

  Albrecht, M., Farshim, P., Paterson, K. & Watson, G., 2011, Fast Software Encryption (FSE). Joux, A. (ed.). Springer, Vol. 6733. p. 128-145 (Lecutre Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• On the Joint Security of Encryption and Signature, Revisited

  Paterson, K., Thomson, S., Schuldt, J. & Stam, M., 2011, ASIACRYPT. Lee, D. H. & Wang, X. (eds.). Springer, Vol. 7073. p. 161-178 (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• On the Modeling and Verification of Security-Aware and Process-Aware Information Systems

  Crampton, J. & Huth, M., 2011, Proceedings of the 2011 BPM Workshop on Workflow Security Audit and Certification.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Provably Secure Key Assignment Schemes from Factoring

  Freire, E. S. V. & Paterson, K. G., 2011, ACISP. Parampalli, U. & Hawkes, P. (eds.). Springer, Vol. 6812. p. 292-309 (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Risk-Aware Role-Based Access Control

  Chen, L. & Crampton, J., 2011, Proceedings of the 7th International Workshop on Security and Trust Management.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Synthesizing and Verifying Plans for Constrained Workflows: Transferring Tools from Formal Methods

  Crampton, J. & Huth, M., 2011, Proceedings of the 2011 Workshop on Verification and Validation of Planning and Scheduling Systems.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Tag Size Does Matter: Attacks and Proofs for the TLS Record Protocol

  Paterson, K. G., Ristenpart, T. & Shrimpton, T., 2011, Advances in Cryptology – ASIACRYPT 2011: 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011: Proceedings. Lee, D. H. & Wang, X. (eds.). Springer, p. 372-389 (Lecture Notes in Computer Science; vol. 7073).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The rise and fall and rise of combinatorial key predistribution

  Martin, K. M., 2011, Selected Areas in Cryptography. Springer, Vol. 6544. p. 93-98 (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Time-Storage Trade-Offs for Cryptographically-Enforced Access Control

  Crampton, J., 2011, ESORICS: Computer Security - ESORICS 2011 - 16th European Symposium on Research in Computer Security, Leuven, Belgium, September 12-14, 2011. Proceedings. Atluri, V. & Diaz, C. (eds.). Springer, Vol. LNCS 6879. p. 245-261 17 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2010

  An authorization framework resilient to policy evaluation failures

  Crampton, J. & Huth, M., 2010, Computer Security – ESORICS 2010: 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010: Proceedings. Springer, p. 472-487 16 p. (Lecture Notes in Computer Science; vol. 6345).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• An Auto-Delegation Mechanism for Access Control Systems

  Crampton, J. & Morisset, C., 2010, Proceedings of 6th International Workshop on Security and Trust Management.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• A secure marketplace for online services that induces good conduct

  Li, Q. & Martin, K. M., 2010, Proceedings of Fourth IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2010). p. 65-72

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• A viable grid marketplace

  Li, Q. & Martin, K. M., 2010, Proceedings of IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2010). IEEE Computer Society Press, p. 427-432

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Constructing Key Assignment Schemes from Chain Partitions

  Crampton, J., Daud, R., Martin, K. M., Foresti, S. (ed.) & Jajodia, S. (ed.), 2010, Data and Applications Security and Privacy XXIV. Springer, Vol. 6166. p. 130-145 16 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Cryptographic Enforcement of Role-Based Access Control

  Crampton, J., 2010, Proceedings of 7th International Workshop on Formal Aspects of Security and Trust. Springer, p. 191-205 1 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• On the (in)security of IPsec in MAC-then-encrypt configurations

  Degabriele, J. P. & Paterson, K. G., 2010, CCS '10 Proceedings of the 17th ACM conference on Computer and communications security. New York: ACM, p. 493-504

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Plaintext-Dependent Decryption: A Formal Security Treatment of SSH-CTR

  Paterson, K. G. & Watson, G. J., 2010, Advances in Cryptology – EUROCRYPT 2010: 29th Annual International Conference on the Theory and Applications of Cryptographic Techniques, French Riviera, May 30 – June 3, 2010: Proceedings. Gilbert, H. (ed.). Springer, p. 345-361 17 p. (Lecture Notes in Computer Science; vol. 6110).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Small-span characteristic polynomials of integer symmetric matrices

  McKee, J., 2010, ANTS IX. p. 272-286 (Lecture Notes in Computer Science; vol. 6197).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a Common Notion of Privacy Leakage on Public Database

  Kiyomoto, S. & Martin, K. M., 2010, Proceedings of Fifth International Conference on Broadband, Wireless Computing, Communication and Applications (BWCCA’10). IEEE Computer Society Press, p. 186-191

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2009

  A Framework for Enforcing Constrained RBAC Policies

  Crampton, J. & Khambhammettu, H., 2009, Proceedings of 12th IEEE International Conference on Computational Science and Engineering. IEEE Computer Society Press, p. 195--200

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Detecting and Countering Insider Threats: Can Policy-Based Access Control Help?

  Crampton, J. & Huth, M., 2009, Proceedings of 5th International Workshop on Security and Trust Management.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Plaintext Recovery Attacks Against SSH

  Albrecht, M. R., Paterson, K. G. & Watson, G. J., 2009, Proceedings of the 2009 30th IEEE Symposium on Security and Privacy: 17-20 May 2009 / Berkley, CA, US. IEEE Computer Society, p. 16-26 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Set cover problems in role-based access control

  Chen, L. & Crampton, J., 2009, Proceedings of 14th European Symposium on Research in Computer Security. Springer, p. 689-704 16 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Trade-offs in cryptographic implementations of temporal access control

  Crampton, J., 2009, Proceedings of 14th Nordic Workshop on Secure IT Systems. Springer, p. 72-87 16 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2008

  Authorization recycling in RBAC systems

  Wei, Q., Crampton, J., Beznosov, K. & Ripeanu, M., 2008, Proceedings of 13th ACM Symposium on Access Control Models and Technologies. Ray, I. & Li, N. (eds.). ACM Press, p. 63-72 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Delegation and satisfiability in workflow systems

  Crampton, J. & Khambhammettu, H., 2008, Proceedings of 13th ACM Symposium on Access Control Models and Technologies. Ray, I. & Li, N. (eds.). ACM Press, p. 31-40 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• On delegation and workflow execution models

  Crampton, J. & Khambhammettu, H., 2008, Proceedings of the 2008 ACM Symposium on Applied Computing. ACM Press, p. 2137-2144 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• On spatio-temporal constraints and inheritance in role-based access control

  Chen, L. & Crampton, J., 2008, Proceedings of ACM Symposium on Information, Computer and Communications Security. ACM Press, p. 205-216 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• RBAC administration in distributed systems

  Dekker, M., Crampton, J. & Etalle, S., 2008, Proceedings of 13th ACM Symposium on Access Control Models and Technologies. Ray, I. & Li, N. (eds.). ACM Press, p. 93--102 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Role signatures for access control in open distributed systems

  Crampton, J. & Lim, H. W., 2008, Proceedings of IFIP TC-11 23rd International Information Security Conference. Springer, p. 205-220 16 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Why we should take a second look at access control in Unix

  Crampton, J., 2008, Proceedings of 13th Nordic Workshop on Secure IT Systems.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2007

  An improved restricted growth function genetic algorithm for the consensus clustering of retinal nerve fibre data

  Swift, S., Tucker, A., Crampton, J. & Garway-Heath, D., 2007, Proceedings of Genetic and Evolutionary Computation Conference, GECCO 2007. Lipson, H. (ed.). ACM Press, p. 2174-2181 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Applications of the oriented permission role-based access control model

  Crampton, J. & Chen, L., 2007, Proceedings of the 26th IEEE International Performance Computing and Communications Conference. IEEE Computer Society Press, p. 387-394 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Avoiding key redistribution in key assignment schemes

  Rowe, H. & Crampton, J., 2007, Proceedings of the Fourth International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security. p. 127-140 14 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Cryptographically-enforced hierarchical access control with multiple keys

  Crampton, J., 2007, Proceedings of the 12th Nordic Workshop on Secure IT Systems. p. 49-60 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution