Ida Siahaan's Publications

2007

  1. N. Dragoni, F. Massacci, K. Naliuka, and I. Siahaan.
    Security-by-Contract: Toward a Semantics for Digital Signatures on Mobile Code.
    In Proc. of The 4th European PKI Workshop (EuroPKI'07) . Springer-Verlag, 2007. PDF
  2. F. Massacci and I. Siahaan.
    Matching midlet's security claims with a platform security policy using automata modulo theory.
    In Proc. of The 12th Nordic Workshop on Secure IT Systems (NordSec'07), 2007. PDF

2008

  1. N. Bielova, M. DallaTore, N. Dragoni, and I. Siahaan.
    Matching Policies with Security Claims of Mobile Applications
    In Proc. of The 3rd International Conference on Availability, Reliability and Security (ARES'08). IEEE Computer Society Press, 2008. PDF
  2. F. Massacci and I. Siahaan.
    Simulating Midlet's Security Claims with Automata Modulo Theory
    In Proc. of ACM SIGPLAN 3rd Workshop on Programming Languages and Analysis for Security (PLAS 2008). ACM Digital Library, 2008.
  3. N. Bielova and I. Siahaan.
    Testing Decision Procedures for Security-by-Contract
    In Proc. of Joint Workshop on Foundations of Computer Security, Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (FCS-ARSPA-WITS'08), 2008. PDF
  4. L. Desmet, W. Joosen, F. Massacci, P. Philippaerts, F. Piessens, I. Siahaan and D. Vanoverberghe.
    Security-by-contract on the .NET platform
    In Information Security Technical Report, Volume 13 Issue 1, 2008.
  5. F. Massacci, F. Piessens and I. Siahaan.
    Security-By-Contract for the Future Internet
    In Future Internet Symposium 2008 (FIS'08). PDF
  6. R. Smith, C. Estan, S. Jha and I. Siahaan
    Fast Signature Matching Using Extended Finite Automaton (XFA)
    In Proc. of The 4th International Conference on Information Systems Security (ICISS 2008).

2009

  1. N. Bielova, N. Dragoni, F. Massacci, K. Naliuka and I. Siahaan
    Matching in Security-by-Contract for Mobile Code
    In Journal of Logic and Algebraic Programming. doi:10.1016/j.jlap.2009.02.013, 2009.
  2. F. Massacci and I. Siahaan
    Optimizing IRM with Automata Modulo Theory
    In 5th International Workshop on Security and Trust Management (STM 2009).

Miscellaneous

  1. N. Dragoni, F. Massacci, and I. Siahaan
    A Security-by-Contracts Architecture for Pervasive Services
    In First Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2007). PDF
  2. F. Massacci, F. Piessens and I. Siahaan.
    Security-By-Contract for the Future Internet ?
    In Second Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2008). PPT
  3. N. Bielova and I. Siahaan.
    Testing Decision Procedures for Security-by-Contract
    In IEEE Symposium on Logic in Computer Science and Computer Security Foundations Symposium: Short talk joint session (LICS-CSF'08), 2008. PDF
Home Page