Jan De Muijnck-Hughes

Jan De Muijnck-Hughes

University of Strathclyde - Glasgow / United Kingdom
Others
AD Scientific Index ID: 5394053
person_outline Jan De Muijnck-Hughes's MOST POPULAR ARTICLES
1-) Value-dependent session design in a dependently typed languageJ de Muijnck-Hughes, E Brady, W VanderbauwhedearXiv preprint arXiv:1904.01288, 2019142019
2-) Security pattern evaluationI Duncan, J de Muijnck-Hughes2014 IEEE 8th International Symposium on Service Oriented System Engineering …, 201472014
3-) A Typing Discipline for Hardware Interfaces (Artifact)J de Muijnck-Hughes, W VanderbauwhedeSpecial Issue of the 33rd European Conference on Object-Oriented Programming …, 20196*2019
4-) A Typing Discipline for Hardware InterfacesJ de Muijnck-Hughes, W Vanderbauwhede33rd European Conference on Object-Oriented Programming (ECOOP 2019) 134, 6 …, 201962019
5-) Thinking Towards a Pattern Language for Predicate Based Encryption Crypto-Systemsde Muijnck-Hughes, I DuncanSoftware Security and Reliability Companion (SERE-C), 2012 IEEE Sixth …, 201262012