|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 293 occurrences of 207 keywords
|
|
|
Results
Found 582 publication records. Showing 560 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
92 | Wenjing Rao, Alex Orailoglu, Ramesh Karri |
Interactive presentation: Logic level fault tolerance approaches targeting nanoelectronics PLAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2007 Design, Automation and Test in Europe Conference and Exposition, DATE 2007, Nice, France, April 16-20, 2007, pp. 865-869, 2007, EDA Consortium, San Jose, CA, USA, 978-3-9810801-2-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
83 | Sunil P. Khatri, Subarnarekha Sinha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
SPFD-based wire removal in standard-cell and network-of-PLA circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(7), pp. 1020-1030, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
69 | Venkata Rajesh Mekala, Venkata Rakesh Mekala |
Methodology for Characterization of NOR-NOR Programmable Logic Array. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia International Conference on Modelling and Simulation ![In: Second Asia International Conference on Modelling and Simulation, AMS 2008, Kuala Lumpur, Malaysia, May 13-15, 2008, pp. 1025-1028, 2008, IEEE Computer Society, 978-0-7695-3136-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
H-Spice |
69 | Dong Sam Ha, Sudhakar M. Reddy |
On the design of random pattern testable PLA based on weighted random pattern testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 3(2), pp. 149-157, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
built-in self-test, PLA, testable design, random pattern testability |
64 | Uthman Alsaiari, Resve A. Saleh |
Power, Delay and Yield Analysis of BIST/BISR PLAs Using Column Redundancy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 8th International Symposium on Quality of Electronic Design (ISQED 2007), 26-28 March 2007, San Jose, CA, USA, pp. 703-710, 2007, IEEE Computer Society, 978-0-7695-2795-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
64 | Charles E. Stroud, James R. Bailey, Johan R. Emmert |
A New Method for Testing Re-Programmable PLAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 16(6), pp. 635-640, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
electrically erasable programmable logic array testing, manufacturing test development, bridging faults |
55 | Fan Mo, Robert K. Brayton |
PLA-based regular structures and their synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22(6), pp. 723-729, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
55 | Subarnarekha Sinha, Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
Binary and Multi-Valued SPFD-Based Wire Removal in PLA Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, ICCD '00, Austin, Texas, USA, September 17-20, 2000, pp. 494-503, 2000, IEEE Computer Society, 0-7695-0801-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
55 | Tsutomu Sasao |
EXMIN2: a simplification algorithm for exclusive-OR-sum-of-products expressions for multiple-valued-input two-valued-output functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 12(5), pp. 621-632, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
55 | Chun-Yeh Liu, Kewal K. Saluja |
An efficient algorithm for bipartite PLA folding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 12(12), pp. 1839-1847, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
55 | Chun-Yeh Liu, Kewal K. Saluja, Shambhu J. Upadhyaya |
BIST-PLA: A Built-in Self-Test Design of Large Programmable Logic Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 24th ACM/IEEE Design Automation Conference. Miami Beach, FL, USA, June 28 - July 1, 1987., pp. 385-391, 1987, IEEE Computer Society Press / ACM. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
51 | Tzyy-Kuen Tien, Shih-Chieh Chang, Tong-Kai Tsai |
Crosstalk alleviation for dynamic PLAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 21(12), pp. 1416-1424, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
51 | Tzyy-Kuen Tien, Tong-Kai Tsai, Shih-Chieh Chang |
Crosstalk Alleviation for Dynamic PLAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France, pp. 683-687, 2002, IEEE Computer Society, 0-7695-1471-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
51 | Fan Mo, Robert K. Brayton |
River PLAs: a regular circuit structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 201-206, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
river routing, programmable logic array |
51 | Teruhiko Yamada, Toshinori Kotake, Hiroshi Takahashi, Koji Yamazaki |
Identification of Redundant Crosspoint Faults in Sequential PLAs with Fault-Free Hardware Reset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 8th Asian Test Symposium (ATS '99), 16-18 November 1999, Shanghai, China, pp. 269-274, 1999, IEEE Computer Society, 0-7695-0315-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
sequential PLA, seqnetial test, redundancy identification, design for testability, redundant fault |
51 | Michiel M. Ligthart, Rudi J. Stans |
A fault model for PLAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 10(2), pp. 265-270, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
51 | Bjørg Reppen, Einar J. Aas |
Combined probabilistic testability calculation and compact test generation for PLAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 2(3), pp. 215-227, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
probabilistic testability, Fault coverage, test pattern generation, programmable logic arrays |
51 | Peter C. Maxwell, Hans-Joachim Wunderlich |
The effectiveness of different test sets for PLAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURO-DAC ![In: European Design Automation Conference, EURO-DAC 1990, Glasgow, Scotland, UK, March 12-15, 1990, pp. 628-632, 1990, IEEE Computer Society, 0-8186-2024-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
51 | Dick L. Liu, Edward J. McCluskey |
Design of large embedded CMOS PLAs for built-in self-test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 7(1), pp. 50-59, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
46 | Antônio Otávio Fernandes |
Le test des PLAs optimisés topologiquement. (Test of folded PLAs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1988 |
RDF |
|
44 | Alley Stoughton, Marco Vassena (eds.) |
PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![ACM, 978-1-4503-8092-8 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Sandrine Blazy |
From Verified Compilation to Secure Compilation: a Semantic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020, pp. 1, 2020, ACM, 978-1-4503-8092-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Matthías Páll Gissurarson, Agustín Mista |
Short Paper: Weak Runtime-Irrelevant Typing for Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020, pp. 13-17, 2020, ACM, 978-1-4503-8092-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Alisa Pankova, Joosep Jääger |
Short Paper: Secure Multiparty Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020, pp. 3-7, 2020, ACM, 978-1-4503-8092-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Sergio Benitez, Jonathan Cogan, Alejandro Russo |
Short Paper: Blockcheck the Typechain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020, pp. 35-39, 2020, ACM, 978-1-4503-8092-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Jean Yang 0001 |
How APIs Are Both the Illness and the Cure: The Software Heterogeneity Problem in Modern Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020, pp. 23, 2020, ACM, 978-1-4503-8092-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Lauren Labell, Jared Chandler, Kathleen Fisher |
Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020, pp. 25-34, 2020, ACM, 978-1-4503-8092-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Ian Sweet, David Darais, Michael Hicks 0001 |
Short Paper: Probabilistically Almost-Oblivious Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020, pp. 9-12, 2020, ACM, 978-1-4503-8092-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Kevin Morio, Dennis Jackson, Marco Vassena, Robert Künnemann |
Short Paper: Modular Black-box Runtime Verification of Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020, pp. 19-22, 2020, ACM, 978-1-4503-8092-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Mário S. Alvim, Stéphanie Delaune (eds.) |
Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![ACM, 978-1-4503-5993-1 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
44 | Lefki Kacem, Catuscia Palamidessi |
Geometric Noise for Locally Private Counting Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 13-16, 2018, ACM, 978-1-4503-5993-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
44 | Noam Shalev, Nimrod Partush |
Binary Similarity Detection Using Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 42-47, 2018, ACM, 978-1-4503-5993-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
44 | Marco Gaboardi |
Formal Verification of Differential Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 1, 2018, ACM, 978-1-4503-5993-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
44 | Tomonori Izumida, Akira Mori, Masatomo Hashimoto |
Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 48-53, 2018, ACM, 978-1-4503-5993-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
44 | Peeter Laud, Martin Pettai, Jaak Randmets |
Sensitivity Analysis of SQL Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 2-12, 2018, ACM, 978-1-4503-5993-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
44 | Iulia Bastys, Frank Piessens, Andrei Sabelfeld |
Prudent Design Principles for Information Flow Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 17-23, 2018, ACM, 978-1-4503-5993-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
44 | Maximilian Algehed |
A Perspective on the Dependency Core Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 24-28, 2018, ACM, 978-1-4503-5993-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
44 | Frédéric Besson, Alexandre Dang, Thomas P. Jensen |
Securing Compilation Against Memory Probing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 29-40, 2018, ACM, 978-1-4503-5993-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
44 | Nate Foster |
Network Verification: Successes, Challenges, and Opportunities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 41, 2018, ACM, 978-1-4503-5993-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
44 | |
Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![ACM, 978-1-4503-5099-0 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
44 | Dusan Repel, Johannes Kinder, Lorenzo Cavallaro |
Modular Synthesis of Heap Exploits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 25-35, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
44 | Samuel Grütter, Toby C. Murray |
Short Paper: Towards Information Flow Reasoning about Real-World C Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 43-48, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
44 | Russell O'Connor |
Simplicity: A New Language for Blockchains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 107-120, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
44 | Tejas Saoji, Thomas H. Austin, Cormac Flanagan |
Using Precise Taint Tracking for Auto-sanitization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 15-24, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
44 | McKenna McCall, Lay Kuan Loh, Limin Jia 0001 |
A Sequent Calculus for Counterfactual Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 91-106, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
44 | Gurvan Cabon, Alan Schmitt |
Annotated Multisemantics To Prove Non-Interference Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 49-62, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
44 | Eric Rothstein Morris, Carlos G. Murguia, Martín Ochoa |
Design-time Quantification of Integrity in Cyber-physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 63-74, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
44 | Gang Tan, Trent Jaeger |
CFG Construction Soundness in Control-Flow Integrity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 3-13, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
44 | Jay P. Lim, Vinod Ganapathy, Santosh Nagarakatte |
Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 37-42, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
44 | Stephen Chong |
Authorization Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 75, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
44 | Maximilian Algehed, Alejandro Russo |
Encoding DCC in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 77-89, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
44 | Michael Hicks 0001 |
Languages for Oblivious Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 1, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
44 | Toby C. Murray, Deian Stefan (eds.) |
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![ACM, 978-1-4503-4574-3 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Sergio Benitez |
Short Paper: Rusty Types for Solid Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 69-75, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Jens Nicolay, Valentijn Spruyt, Coen De Roover |
Static Detection of User-specified Security Vulnerabilities in Client-side JavaScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 3-13, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Marco Vassena, Alejandro Russo |
On Formalizing Information-Flow Control Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 15-28, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Fraser Brown |
Short Paper: Superhacks: Exploring and Preventing Vulnerabilities in Browser Binding Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 103-109, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Avik Chaudhuri |
Flow: Abstract Interpretation of JavaScript for Type Checking and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 1, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Antonín Steinhauser, François Gauthier 0001 |
JSPChecker: Static Detection of Context-Sensitive Cross-Site Scripting Flaws in Legacy Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 57-68, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Cédric Fournet |
Verified Secure Implementations for the HTTPS Ecosystem: Invited Talk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 89, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Ximeng Li 0001, Flemming Nielson, Hanne Riis Nielson |
Future-dependent Flow Policies with Prophetic Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 29-42, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Nataliia Bielova |
Short Paper: Dynamic leakage: A Need for a New Quantitative Information Flow Measure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 83-88, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Sepehr Amir-Mohammadian, Christian Skalka |
In-Depth Enforcement of Dynamic Integrity Taint Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 43-56, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella Béguelin |
Formal Verification of Smart Contracts: Short Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 91-96, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Ziyuan Meng |
Short Paper: Bounding Information Leakage Using Implication Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 77-82, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Chandrakana Nandi, Michael D. Ernst |
Automatic Trigger Generation for Rule-based Smart Homes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 97-102, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
44 | Michael Clarkson, Limin Jia 0001 (eds.) |
Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![ACM, 978-1-4503-3661-1 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
44 | Pablo Buiras, Bart van Delft |
Dynamic Enforcement of Dynamic Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015, pp. 28-41, 2015, ACM, 978-1-4503-3661-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
44 | Shriram Krishnamurthi |
Tierless Programming and Reasoning for Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015, pp. 42, 2015, ACM, 978-1-4503-3661-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
44 | Toby C. Murray |
Short Paper: On High-Assurance Information-Flow-Secure Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015, pp. 43-48, 2015, ACM, 978-1-4503-3661-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
44 | Vijay Ganesh, Sebastian Banescu, Martín Ochoa |
Short Paper: The Meaning of Attack-Resistant Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015, pp. 49-55, 2015, ACM, 978-1-4503-3661-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
44 | Matthias Grimmer, Roland Schatz, Chris Seaton, Thomas Würthinger, Hanspeter Mössenböck |
Memory-safe Execution of C on a Java VM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015, pp. 16-27, 2015, ACM, 978-1-4503-3661-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
44 | Sophia Drossopoulou, James Noble 0001, Mark S. Miller |
Swapsies on the Internet: First Steps towards Reasoning about Risk and Trust in an Open World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015, pp. 2-15, 2015, ACM, 978-1-4503-3661-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
44 | Catalin Hritcu |
Micro-Policies: Formally Verified, Tag-Based Security Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015, pp. 1, 2015, ACM, 978-1-4503-3661-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
44 | Alejandro Russo, Omer Tripp (eds.) |
Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![ACM, 978-1-4503-2862-3 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
44 | Deian Stefan, David Mazières |
Building Secure Systems with LIO (Demo). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014, pp. 25, 2014, ACM, 978-1-4503-2862-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
44 | Alley Stoughton, Andrew Johnson 0005, Samuel Beller, Karishma Chadha, Dennis Chen, Kenneth Foner, Michael Zhivich |
You Sank My Battleship!: A Case Study in Secure Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014, pp. 2, 2014, ACM, 978-1-4503-2862-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
44 | Julian Dolby |
To Dream the Impossible Dream: Toward Security Analysis for JavaScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014, pp. 1, 2014, ACM, 978-1-4503-2862-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
44 | Dante Zanarini, Mauro Jaskelioff |
Monitoring Reactive Systems with Dynamic Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014, pp. 66, 2014, ACM, 978-1-4503-2862-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
44 | Lantian Zheng, Andrew C. Myers |
A Language-Based Approach to Secure Quorum Replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014, pp. 27, 2014, ACM, 978-1-4503-2862-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
44 | Abhishek Bichhawat, Vineet Rajani, Deepak Garg 0001, Christian Hammer 0001 |
Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014, pp. 15, 2014, ACM, 978-1-4503-2862-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
44 | Dan Bogdanov, Peeter Laud, Jaak Randmets |
Domain-Polymorphic Programming of Privacy-Preserving Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014, pp. 53, 2014, ACM, 978-1-4503-2862-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
44 | Niklas Broberg, Bart van Delft, David Sands 0001 |
Paragon: Programming with Information Flow Control (Demo). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014, pp. 79, 2014, ACM, 978-1-4503-2862-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
44 | Adriaan Larmuseau, Marco Patrignani, Dave Clarke 0001 |
Operational Semantics for Secure Interoperation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014, pp. 40, 2014, ACM, 978-1-4503-2862-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
44 | Prasad Naldurg, Nikhil Swamy (eds.) |
Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS 2013, Seattle, WA, USA, June 20, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![ACM, 978-1-4503-2144-0 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
44 | Martin Mariusz Lester |
Position paper: the science of boxing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS 2013, Seattle, WA, USA, June 20, 2013, pp. 83-88, 2013, ACM, 978-1-4503-2144-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
44 | Timothy L. Hinrichs, Daniele Rossetti, Gabriele Petronella, V. N. Venkatakrishnan, A. Prasad Sistla, Lenore D. Zuck |
WEBLOG: a declarative language for secure web development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS 2013, Seattle, WA, USA, June 20, 2013, pp. 59-70, 2013, ACM, 978-1-4503-2144-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
44 | Per A. Hallgren, Daniel T. Mauritzson, Andrei Sabelfeld |
GlassTube: a lightweight approach to web application integrity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS 2013, Seattle, WA, USA, June 20, 2013, pp. 71-82, 2013, ACM, 978-1-4503-2144-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
44 | Thomas H. Austin, Jean Yang 0001, Cormac Flanagan, Armando Solar-Lezama |
Faceted execution of policy-agnostic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS 2013, Seattle, WA, USA, June 20, 2013, pp. 15-26, 2013, ACM, 978-1-4503-2144-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
44 | Andreas Gampe, Jeffery von Ronne |
Security completeness: towards noninterference in composed languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS 2013, Seattle, WA, USA, June 20, 2013, pp. 27-38, 2013, ACM, 978-1-4503-2144-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
44 | Matthias Keil 0002, Peter Thiemann 0001 |
Type-based dependency analysis for javascript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS 2013, Seattle, WA, USA, June 20, 2013, pp. 47-58, 2013, ACM, 978-1-4503-2144-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
44 | Xun Li 0001, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong |
Position paper: Sapper - a language for provable hardware policy enforcement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS 2013, Seattle, WA, USA, June 20, 2013, pp. 39-44, 2013, ACM, 978-1-4503-2144-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
44 | Aseem Rastogi, Piotr Mardziel, Michael Hicks 0001, Matthew A. Hammer |
Knowledge inference for optimizing secure multi-party computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS 2013, Seattle, WA, USA, June 20, 2013, pp. 3-14, 2013, ACM, 978-1-4503-2144-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
44 | David Sands 0001 |
Fault-tolerant non-interference: invited talk abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS 2013, Seattle, WA, USA, June 20, 2013, pp. 1-2, 2013, ACM, 978-1-4503-2144-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
44 | Sergio Maffeis, Tamara Rezk (eds.) |
Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, PLAS 2012, Beijing, China, 15 June, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![ACM, 978-1-4503-1441-1 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
44 | Eric Bodden |
Static flow-sensitive & context-sensitive information-flow analysis for software product lines: position paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, PLAS 2012, Beijing, China, 15 June, 2012, pp. 6, 2012, ACM, 978-1-4503-1441-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
44 | Alejandro Mario Hernandez, Flemming Nielson |
A generic approach for security policies composition: position paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, PLAS 2012, Beijing, China, 15 June, 2012, pp. 5, 2012, ACM, 978-1-4503-1441-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
44 | Shuying Liang, Matthew Might |
Hash-flow taint analysis of higher-order programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, PLAS 2012, Beijing, China, 15 June, 2012, pp. 8, 2012, ACM, 978-1-4503-1441-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
44 | Damien Doligez, Mathieu Jaume, Renaud Rioboo |
Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment: a case study within the FoCaLiZe environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, PLAS 2012, Beijing, China, 15 June, 2012, pp. 9, 2012, ACM, 978-1-4503-1441-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
44 | Dominic Duggan, Ye Wu 0006 |
Security correctness for secure nested transactions: position paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, PLAS 2012, Beijing, China, 15 June, 2012, pp. 4, 2012, ACM, 978-1-4503-1441-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 560 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ >>] |
|