de.mpg.escidoc.pubman.appbase.FacesBeande.mpg.escidoc.pubman.appbase.FacesBean
English
 
Help Guide Disclaimer Contact us Login
  Advanced SearchBrowse

Search Results

29 Items found (descending sorted by Modification Date)
 
 
Previous12Next
  Sort by State ???List_Show??? Expand all Select Item Collapse all
  1. Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 8th International Symposium on Engineering Secure...
    Source Genre: Proceedings
    Source Title: Engineering Secure Software and Systems
    Volume / Issue: -
    Start / End Page: 20 - 37
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  2. Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: 1 Locator
    Publishing info: -
    Event Title: 25th USENIX Security Symposium
    Source Genre: Proceedings
    Source Title: Proceedings of the 25th USENIX Security Symposium
    Volume / Issue: -
    Start / End Page: 637 - 654
    Sequence Number: -
    Source Publ. Info: Berkeley, CA : USENIX Association
  3. Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 29th Computer Security Foundations Symposium
    Source Genre: Proceedings
    Source Title: CSF 2016
    Volume / Issue: -
    Start / End Page: 17 - 30
    Sequence Number: -
    Source Publ. Info: Piscataway, NJ : IEEE
  4. Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 6th Conference on Principles of Security and Trust
    Source Genre: Proceedings
    Source Title: Principles of Security and Trust
    Volume / Issue: -
    Start / End Page: 24 - 45
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  5. Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 29th Computer Security Foundations Symposium
    Source Genre: Proceedings
    Source Title: CSF 2016
    Volume / Issue: -
    Start / End Page: 150 - 163
    Sequence Number: -
    Source Publ. Info: Piscataway, NJ : IEEE
  6. Creators:
    Dates: Published Online: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 27th International Conference on Concurrency Theo...
    Source Genre: Proceedings
    Source Title: 27th International Conference on Concurrency Theo...
    Volume / Issue: -
    Start / End Page: 1 - 16
    Sequence Number: 18
    Source Publ. Info: Wadern : Schloss Dagstuhl
     : 1 further sources available
  7. Creators:
    Dates: Published Online: 2016 | Published in Print: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 21th ACM SIGPLAN International Conference on Func...
    Source Genre: Proceedings
    Source Title: Proceedings of the 21st ACM SIGPLAN International...
    Volume / Issue: -
    Start / End Page: 132 - 145
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  8. Creators:
    Dates: Published Online: 2016  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 12th USENIX Symposium on Operating Systems Design...
    Source Genre: Proceedings
    Source Title: 12th USENIX Symposium on Operating Systems Design...
    Volume / Issue: -
    Start / End Page: 49 - 64
    Sequence Number: -
    Source Publ. Info: s.l. : USENIX
  9. Creators:
    Dates: Submitted: 2016 | Accepted: 2016-09-27 | Published in Print: 2016-09-27  
    Genre: Thesis 
    Files: 1 File
    Locators: -
    Publishing info: Saarbrücken : Universität des Saarlandes
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  10. Creators:
    Dates: Published Online: 2015 | Published in Print: 2015  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 24th European Symposium on Programming
    Source Genre: Proceedings
    Source Title: Programming Languages and Systems
    Volume / Issue: -
    Start / End Page: 406 - 431
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  11. Creators:
    Dates: Published Online: 2015 | Published in Print: 2015  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 28th Computer Security Foundations Symposium
    Source Genre: Proceedings
    Source Title: CSF 2015
    Volume / Issue: -
    Start / End Page: 261 - 275
    Sequence Number: -
    Source Publ. Info: Piscataway, NJ : IEEE
  12. Creators:
    Dates: Published Online: 2015 | Published in Print: 2015  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 28th Computer Security Foundations Symposium
    Source Genre: Proceedings
    Source Title: CSF 2015
    Volume / Issue: -
    Start / End Page: 366 - 379
    Sequence Number: -
    Source Publ. Info: Piscataway, NJ : IEEE
  13. Creators:
    Dates: Published Online: 2015 | Published in Print: 2015  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 28th Computer Security Foundations Symposium
    Source Genre: Proceedings
    Source Title: CSF 2015
    Volume / Issue: -
    Start / End Page: 512 - 525
    Sequence Number: -
    Source Publ. Info: Piscataway, NJ : IEEE
  14. Creators:
    Dates: Published Online: 2015 | Published in Print: 2015  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 22nd Annual ACM Conference on Computer and Commun...
    Source Genre: Proceedings
    Source Title: CCS'15
    Volume / Issue: -
    Start / End Page: 1130 - 1143
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  15. Creators:
    Dates: Published Online: 2015 | Published in Print: 2015  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: Tenth European Conference on Computer Systems
    Source Genre: Proceedings
    Source Title: EuroSys 2015
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: 13
    Source Publ. Info: New York, NY : ACM
  16. Creators:
    Dates: Published Online: 2015 | Published in Print: 2015  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 42nd Annual ACM SIGPLAN-SIGACT Symposium on Princ...
    Source Genre: Proceedings
    Source Title: POPL'15
    Volume / Issue: -
    Start / End Page: 637 - 650
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  17. Creators:
    Dates: Published in Print: 2012  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: POST 2012
    Source Genre: Proceedings
    Source Title: Principles of Security and Trust : First Internat...
    Volume / Issue: -
    Start / End Page: 410 - 429
    Sequence Number: -
    Source Publ. Info: New York, NY : Springer
     : 1 further sources available
  18. Creators:
    Dates: Published in Print: 2012  
    Genre: Report 
    Files: -
    Locators: -
    Publishing info: Saarbrücken : Max Planck Institute for Software Systems, MPI-SWS-2012-003
    Event Title: -
    Source Genre: Series
    Source Title: Technical Report / Max Planck Institute for Softw...
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  19. Creators:
    Dates: Published in Print: 2012  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: LICS 2012
    Source Genre: Proceedings
    Source Title: 27th Annual ACM/IEEE Symposium on Logic in Comput...
    Volume / Issue: -
    Start / End Page: 315 - 324
    Sequence Number: -
    Source Publ. Info: Los Alamitos, California : IEEE Computer Society
  20. Creators:
    Dates: Published in Print: 2012  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: CSF'12
    Source Genre: Proceedings
    Source Title: 2012 IEEE 25th Computer Security Foundations Symp...
    Volume / Issue: -
    Start / End Page: 139 - 153
    Sequence Number: -
    Source Publ. Info: Piscataway, NJ : IEEE
  21. Creators:
    Dates: Published in Print: 2012  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: STM'11
    Source Genre: Proceedings
    Source Title: Security and Trust Management : 7th International...
    Volume / Issue: -
    Start / End Page: 56 - 71
    Sequence Number: -
    Source Publ. Info: New York, NY : Springer
     : 1 further sources available
  22. Creators:
    Dates: Published in Print: 2012  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: ICFP '12
    Source Genre: Proceedings
    Source Title: Proceedings of the 17th ACM SIGPLAN International...
    Volume / Issue: -
    Start / End Page: 41 - 54
    Sequence Number: -
    Source Publ. Info: New York, Ny : ACM
  23. Creators:
    Dates: Published Online: 2012 | Published in Print: 2012  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Journal of Computer Security
    Volume / Issue: 20 (4)
    Start / End Page: 353 - 391
    Sequence Number: -
    Source Publ. Info: Amsterdam : IOS Press
  24. Creators:
    Dates: Published Online: 2013 | Published in Print: 2013  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: ACM Transactions on Programming Languages and Sys...
    Volume / Issue: 35 (2)
    Start / End Page: 1 - 41
    Sequence Number: 6
    Source Publ. Info: -
  25. Creators:
    Dates: Published Online: 2013 | Published in Print: 2013  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: IEEE 10th International Conference on Services Co...
    Source Genre: Proceedings
    Source Title: SCC 2013
    Volume / Issue: -
    Start / End Page: 721 - 728
    Sequence Number: -
    Source Publ. Info: Piscataway, NJ : IEEE
 
 
Previous12Next