Publications
161 results found
Yang F, Hankin C, Nielson F, et al., 2012, Secondary use of data in EHR systems, CoRR, Vol: abs/1201.4262
Le Martelot E, Hankin CL, 2012, Multi-scale Community Detection usingStability Optimisation, International Journal of Web-based Communities
Di Pierro A, Hankin C, Wiklicky H, 2011, Probabilistic timing covert channels: to close or not to close?, INTERNATIONAL JOURNAL OF INFORMATION SECURITY, Vol: 10, Pages: 83-106, ISSN: 1615-5262
- Author Web Link
- Open Access Link
- Cite
- Citations: 4
Martelot EL, Hankin C, 2011, Multi-scale Community Detection using Stability as Optimisation Criterion in a Greedy Algorithm., Publisher: SciTePress, Pages: 216-225
Hankin C, 2011, LAMBDA CALCULI: A GUIDE, HANDBOOK OF PHILOSOPHICAL LOGIC, VOL 15, SECOND EDITION, Editors: Gabby, Guenthner, Publisher: SPRINGER, Pages: 1-66, ISBN: 978-94-007-0484-8
Di Pierro A, Hankin CL, Wiklicky H, 2011, Probabilistic timing covert channels: To close or not to close, International Journal of Information Security, Vol: 10, Pages: 83-106
Di Pierro A, Hankin C, Wiklicky H, 2010, Program Analysis Probably Counts, COMPUTER JOURNAL, Vol: 53, Pages: 871-880, ISSN: 0010-4620
- Author Web Link
- Cite
- Citations: 1
Di Pierro A, Hankin CL, Wiklicky H, 2010, Program Analysis Probably Counts, The Computer Journal, Vol: 53, Pages: 871-880
Di Pierro A, Hankin CL, Wiklicky H, 2010, Probabilistic Semantics and Program Analysis, Formal Methods for Quantitative Aspects of Programming Languages, Editors: Aldini, Bernardo, Di Pierro, Wiklicky, Pages: 1-42
Hankin CL, Nielson F, Nielson HR, 2010, Probabilistic Aspects: Checking Security in an Imperfect World, Trustworthy Global Computing, Publisher: Springer, Pages: 348-363
Hankin CL, Nielson F, Nielson HR, 2009, Advice from Belnap Policies, Computer Security Foundations Symposium, Publisher: IEEE Computer Society, Pages: 234-247
Di Pierro A, Hankin CL, Wiklicky H, 2008, Quantifying Timing Leaks and Cost Optimisation, International Conference on Information and Communications Security, Publisher: Springer, Pages: 81-96
Pierro AD, Hankin C, Wiklicky H, 2008, Quantifying Timing Leaks and Cost Optimisation, CoRR, Vol: abs/0807.3879
Hankin CL, Nielson F, Nielson HR, et al., 2008, Advice for Coordination, Coordination, Publisher: Springer, Pages: 153-168
Pearce DJ, Kelly PHJ, Hankin CL, 2007, Efficient field-sensitive pointer analysis of C., ACM Transactions on Programming Languages and Systems (TOPLAS), Vol: 30
Pearce DJ, Kelly PHJ, Hankin CL, 2007, Efficient field-sensitive pointer analysis of C, ACM Transactions on Programming Languages and Systems, Vol: 30
Di Pierro A, Hankin C, Wiklicky H, 2007, On Probabilistic Techniques for Data Flow Analysis, Electronic Notes in Theoretical Computer Science, Vol: 190, Pages: 59-77, ISSN: 1571-0661
We present a semantics-based technique for analysing probabilistic properties of imperative programs. This consists in a probabilistic version of classical data flow analysis. We apply this technique to pWhile programs, i.e programs written in a probabilistic version of a simple While language. As a first step we introduce a syntax based definition of a linear operator semantics (LOS) which is equivalent to the standard structural operational semantics of While. The LOS of a pWhile program can be seen as the generator of a Discrete Time Markov Chain and plays a similar role as a collecting or trace semantics for classical While. Probabilistic Abstract Interpretation techniques are then employed in order to define data flow analyses for properties like Parity and Live Variables. © 2007.
Di Pierro A, Hankin C, Siveroni I, et al., 2007, Tempus fugit: How to plug it, JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, Vol: 72, Pages: 173-190, ISSN: 1567-8326
- Author Web Link
- Cite
- Citations: 5
Di Pierro A, Hankin CL, Wiklicky H, 2007, A Systematic Approach to Probabilistic Pointer Analysis, Asian Symposium on Programming Languages and Systems, Pages: 335-350
Di Pierro A, Hankin CL, Wiklicky H, 2007, Abstract Interpretation for Worst and Average Case Analysis, Program Analysis and Compilation, Theory and Practice, Editors: Reps, Sagiv, Bauer, Pages: 160-174
Di Pierro A, Hankin C, Wiklicky H, 2007, A systematic approach to probabilistic pointer analysis, 5th Asian Symposium on Programming Languages and Systems, Publisher: SPRINGER-VERLAG BERLIN, Pages: 335-350, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 7
Di Pierro A, Hankin CL, Siveroni I, et al., 2007, Tempus Fugit: How to Plug it, The Journal of Logic and Algebraic Programming, Vol: 72, Pages: 173-190
Di Pierro A, Hankin C, Wiklicky H, 2006, Reversible combinatory logic, 1st International Workshop on Developments in Computational Models (DCM), Publisher: CAMBRIDGE UNIV PRESS, Pages: 621-637, ISSN: 0960-1295
- Author Web Link
- Cite
- Citations: 10
Di Pierro A, Hankin CN, Wiklicky H, 2006, On Reversible Combinatory Logic, Publisher: Elsevier, Pages: 25-35
Di Pierro A, Hankin CN, Wiklicky H, 2006, On Reversible Combinatory Logic, Publisher: Elsevier, Pages: 25-35
Nanz S, Hankin C, 2006, A framework for security analysis of mobile wireless networks, Theor. Comp. Sci., Vol: 367, Pages: 203-227, ISSN: 0304-3975
Wiklicky H, Di Pierro A, Hankin C, 2006, Reversible Combinatory Logic, Mathematical Structures in Computer Science, Vol: 16, Pages: 1-17
Di Pierro A, Hankin CN, Wiklicky H, 2006, Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages, Publisher: Springer Verlag, Pages: 388-407
Di Pierro A, Hankin CN, Wiklicky H, 2006, Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages, Publisher: Springer Verlag, Pages: 388-407
Di Pierro A, Hankin CN, Wiklicky H, 2005, Measuring the confinement of probabilistic systems, Theoretical Computer Science, Vol: 340, Pages: 3-56, ISSN: 0304-3975
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.