Result 1 to 20 of 120 total
Better security and privacy for web browsers: a survey of techniques, and a new implementation. (English)
Barthe, Gilles (ed.) et al., Formal aspects of security and trust. 8th international workshop, FAST 2011, Leuven, Belgium, September 12‒14, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29419-8/pbk). Lecture Notes in Computer Science 7140, 21-38 (2012).
1
Secure multi-execution through static program transformation. (English)
Giese, Holger (ed.) et al., Formal techniques for distributed systems. Joint 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012, Stockholm, Sweden, June 13‒16, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30792-8/pbk). Lecture Notes in Computer Science 7273, 186-202 (2012).
2
Sound formal verification of Linux’s USB BP keyboard driver. (English)
Goodloe, Alwyn E. (ed.) et al., NASA formal methods. 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3‒5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28890-6/pbk). Lecture Notes in Computer Science 7226, 210-215 (2012).
3
State coverage: Software validation metrics beyond code coverage. (English)
Bieliková, Mária (ed.) et al., SOFSEM 2012: Theory and practice of computer science. 38th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 21‒27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27659-0/pbk). Lecture Notes in Computer Science 7147, 542-553 (2012).
4
io-port 05979942 Massacci, Fabio;
Bouquet, Fabrice;
Fourneret, Elizabeta;
Jurjens, Jan;
Lund, Mass S.;
Madelénat, Sébastien;
Muehlberg, JanTobias;
Paci, Federica;
Paul, Stéphane;
Piessens, Frank;
Solhaug, Bjornar;
Wenzel, Sven
Orchestrating security and system engineering for evolving systems (invited paper). (English)
Abramowicz, Witold (ed.) et al., Towards a service-based internet. 4th European conference, ServiceWave 2011, Poznan, Poland, October 26‒28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24754-5/pbk). Lecture Notes in Computer Science 6994, 134-143 (2011).
5
Automatic and precise client-side protection against CSRF attacks. (English)
Atluri, Vijay (ed.) et al., Computer security ‒ ESORICS 2011. 16th European symposium on research in computer security, Leuven, Belgium, September 12‒14,2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23821-5/pbk). Lecture Notes in Computer Science 6879, 100-116 (2011).
6
Code pointer masking: Hardening applications against code injection attacks. (English)
Holz, Thorsten (ed.) et al., Detection of intrusions and malware, and vulnerability assessment. 8th international conference: DIMVA 2011, Amsterdam, The Netherlands, July 7‒8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22423-2/pbk). Lecture Notes in Computer Science 6739, 194-213 (2011).
7
Verifast: A powerful, sound, predictable, fast verifier for C and Java. (English)
Bobaru, Mihaela (ed.) et al., NASA formal methods. Third international symposium, NFM 2011, Pasadena, CA, USA, April 18‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20397-8/pbk). Lecture Notes in Computer Science 6617, 41-55 (2011).
8
Special section on formal techniques for Java-like programs. (English)
J. Object Technol. 10 (2011).
9
Verification of unloadable modules. (English)
Butler, Michael (ed.) et al., FM 2011: formal methods. 17th international symposium on formal methods, Limerick, Ireland, June 20‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21436-3/pbk). Lecture Notes in Computer Science 6664, 402-416 (2011).
10
io-port 05915248 Klebanov, Vladimir;
Müller, Peter;
Shankar, Natarajan;
Leavens, Gary T.;
Wüstholz, Valentin;
Alkassar, Eyad;
Arthan, Rob;
Bronish, Derek;
Chapman, Rod;
Cohen, Ernie;
Hillebrand, Mark;
Jacobs, Bart;
Leino, K.Rustan M.;
Monahan, Rosemary;
Piessens, Frank;
Polikarpova, Nadia;
Ridge, Tom;
Smans, Jan;
Tobies, Stephan;
Tuerk, Thomas;
Ulbrich, Mattias;
Weiß, Benjamin
The 1st verified software competition: Experience report. (English)
Butler, Michael (ed.) et al., FM 2011: formal methods. 17th international symposium on formal methods, Limerick, Ireland, June 20‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21436-3/pbk). Lecture Notes in Computer Science 6664, 154-168 (2011).
11
Annotation inference for separation logic based verifiers. (English)
Bruni, Roberto (ed.) et al., Formal techniques for distributed systems. Joint 13th IFIP WG 6.1 international conference, FMOODS 2011, and 31st IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21460-8/pbk). Lecture Notes in Computer Science 6722, 319-333 (2011).
12
Theoretical aspects of compositional symbolic execution. (English)
Giannakopoulou, Dimitra (ed.) et al., Fundamental approaches to software engineering. 14th international conference, FASE 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 ‒ April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19810-6/pbk). Lecture Notes in Computer Science 6603, 247-261 (2011).
13
Explicitly recursive grammar combinators. A better model for shallow parser DSLs. (English)
Rocha, Ricardo (ed.) et al., Practical aspects of declarative languages. 13th international symposium, PADL 2011, Austin, TX, USA, January 24‒25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18377-5/pbk). Lecture Notes in Computer Science 6539, 84-98 (2011).
14
Annotation inference for separation logic based verifiers (English)
FMOODS/FORTE, 319-333 (2011).
15
Explicitly recursive grammar combinators - A better model for shallow parser dsls (English)
PADL, 84-98 (2011).
16
io-port 70181037 Massacci, Fabio;
Bouquet, Fabrice;
Fourneret, Elizabeta;
Jürjens, Jan;
Lund, Mass S.;
Madelénat, Sébastien;
Muehlberg, Jantobias;
Paci, Federica;
Paul, Stéphane;
Piessens, Frank;
Solhaug, Bjornar;
Wenzel, Sven
Orchestrating security and system engineering for evolving systems - (Invited paper) (English)
ServiceWave, 134-143 (2011).
17
Expressive modular fine-grained concurrency specification (English)
POPL, 271-282 (2011).
18
Webjail: least-privilege integration of third-party components in web mashups (English)
ACSAC, 307-316 (2011).
19
Theoretical aspects of compositional symbolic execution (English)
FASE, 247-261 (2011).
20
Result 1 to 20 of 120 total
Start
Contact
Print
General Help
