Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/abs-0910-4033,
  author       = {Han Chen and
                  Pasquale Malacaria},
  editor       = {Michele Boreale and
                  Steve Kremer},
  title        = {Studying Maximum Information Leakage Using Karush-Kuhn-Tucker Conditions},
  booktitle    = {Proceedings 7th International Workshop on Security Issues in Concurrency,
                  {SECCO} 2009, Bologna, Italy, 5th September 2009},
  series       = {{EPTCS}},
  volume       = {7},
  pages        = {1--15},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.7.1},
  doi          = {10.4204/EPTCS.7.1},
  timestamp    = {Fri, 09 Apr 2021 18:27:19 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0910-4033.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-0910-4044,
  author       = {Jun Pang and
                  Chenyi Zhang},
  editor       = {Michele Boreale and
                  Steve Kremer},
  title        = {How to Work with Honest but Curious Judges? (Preliminary Report)},
  booktitle    = {Proceedings 7th International Workshop on Security Issues in Concurrency,
                  {SECCO} 2009, Bologna, Italy, 5th September 2009},
  series       = {{EPTCS}},
  volume       = {7},
  pages        = {31--45},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.7.3},
  doi          = {10.4204/EPTCS.7.3},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0910-4044.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-0910-4053,
  author       = {Qurat ul Ain Nizamani and
                  Emilio Tuosto},
  editor       = {Michele Boreale and
                  Steve Kremer},
  title        = {Heuristic Methods for Security Protocols},
  booktitle    = {Proceedings 7th International Workshop on Security Issues in Concurrency,
                  {SECCO} 2009, Bologna, Italy, 5th September 2009},
  series       = {{EPTCS}},
  volume       = {7},
  pages        = {61--75},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.7.5},
  doi          = {10.4204/EPTCS.7.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0910-4053.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-0910-4056,
  author       = {Filippo Del Tedesco and
                  David Sands},
  editor       = {Michele Boreale and
                  Steve Kremer},
  title        = {A User Model for Information Erasure},
  booktitle    = {Proceedings 7th International Workshop on Security Issues in Concurrency,
                  {SECCO} 2009, Bologna, Italy, 5th September 2009},
  series       = {{EPTCS}},
  volume       = {7},
  pages        = {16--30},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.7.2},
  doi          = {10.4204/EPTCS.7.2},
  timestamp    = {Tue, 09 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0910-4056.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-0910-4342,
  author       = {Joshua D. Guttman},
  editor       = {Michele Boreale and
                  Steve Kremer},
  title        = {Fair Exchange in Strand Spaces},
  booktitle    = {Proceedings 7th International Workshop on Security Issues in Concurrency,
                  {SECCO} 2009, Bologna, Italy, 5th September 2009},
  series       = {{EPTCS}},
  volume       = {7},
  pages        = {46--60},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.7.4},
  doi          = {10.4204/EPTCS.7.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0910-4342.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-0910-4420,
  editor       = {Michele Boreale and
                  Steve Kremer},
  title        = {Proceedings 7th International Workshop on Security Issues in Concurrency,
                  {SECCO} 2009, Bologna, Italy, 5th September 2009},
  series       = {{EPTCS}},
  volume       = {7},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.7},
  doi          = {10.4204/EPTCS.7},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0910-4420.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}