Browse by UCL people
Group by: Type | Date
Jump to: Article | Proceedings paper
Number of items: 8.
Article
Brotherston, J;
Kanovich, M;
(2014)
Undecidability of Propositional Separation Logic and Its Neighbours.
JOURNAL OF THE ACM
, 61
(2)
, Article ARTN 14. 10.1145/2542667.
|
 |
|
Kanovich, M;
Kirigin, TB;
Nigam, V;
Scedrov, A;
Talcott, C;
(2017)
Time, computational complexity, and probability in the analysis of distance-bounding protocols.
Journal of Computer Security
, 25
(6)
pp. 585-630.
10.3233/JCS-0560.
|
 |
Proceedings paper
|
Alturki, MA;
Ban Kirigin, T;
Kanovich, M;
Nigam, V;
Scedrov, A;
Talcott, C;
(2019)
A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols.
In: Guttman, JD and Landwehr, CE and Meseguer, J and Pavlovic, D, (eds.)
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows.
(pp. pp. 192-213).
Springer: Berlin, Heidelberg.
|
|
Alturki, MA;
Kirigin, TB;
Kanovich, M;
Nigam, V;
Scedrov, A;
Talcott, C;
(2021)
On security analysis of periodic systems: expressiveness and complexity.
In:
Proceedings of the 7th International Conference on Information Systems Security and Privacy.
(pp. pp. 43-54).
|
|
|
Brotherston, J;
Gorogiannis, N;
Kanovich, MI;
Rowe, R;
(2016)
Model checking for symbolic-heap separation logic with inductive predicates.
In: Bodik, R and Majumdar, R, (eds.)
(pp. pp. 84-96).
ACM
|
|
|
Brotherston, J;
Kanovich, M;
(2018)
On the Complexity of Pointer Arithmetic in Separation Logic.
In:
Programming Languages and Systems.
(pp. pp. 329-349).
Springer: Cham, Switzerland.
|
|
|
Brotherston, J;
Kanovich, M;
Gorogiannis, N;
(2017)
Biabduction (and related problems) in array separation logic.
In: De Moura, L, (ed.)
Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings.
(pp. pp. 472-490).
Springer: Cham, Switzerland.
|
|
|
Morrill, G;
Kuznetsov, S;
Kanovich, M;
Scedrov, A;
(2018)
Bracket induction for Lambek calculus with bracket modalities.
In: Foret, A and Kobele, G and Pogodalla, S, (eds.)
Proceedings of the 23rd International Conference on Formal Grammar (FG 2018).
(pp. pp. 84-101).
Springer: Berlin, Heidelberg.
|
|
