BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × Spain
1 × Taiwan
2 × Italy
Collaborated with:
B.Braun M.Johns H.Vogt B.Beckert D.Schreckling D.Hausknecht K.Pauli M.Schrank D.A.Basin S.Friedrich R.Goré A.Slater
Talks about:
theorem (2) protect (2) wild (2) card (2) constroid (1) descript (1) tableau (1) session (1) reliabl (1) leantap (1)

Person: Joachim Posegga

DBLP DBLP: Posegga:Joachim

Contributed to:

SAC 20152015
SAC 20122012
SAC 20112011
CAV 19991999
CADE 19981998
CADE 19941994

Wrote 6 papers:

SAC-2015-BraunPPJ #adaptation #named #web
LogSec: adaptive protection for the wild wild web (BB, KP, JP, MJ), pp. 2149–2156.
SAC-2012-SchrecklingPH #android #data access #named
Constroid: data-centric access control for android (DS, JP, DH), pp. 1478–1485.
SAC-2011-JohnsBSP #reliability
Reliable protection against session fixation attacks (MJ, BB, MS, JP), pp. 1531–1537.
CAV-1999-BasinFPV #bytecode #java #model checking #verification
Java Bytecode Verification by Model Checking (DAB, SF, JP, HV), pp. 491–494.
CADE-1998-GorePSV #proving #smarttech #theorem proving
System Description: card TAP: The First Theorem Prover on a Smart Card (RG, JP, AS, HV), pp. 47–50.
CADE-1994-BeckertP #agile #named #proving #theorem proving
leanTAP: Lean Tableau-Based Theorem Proving (BB, JP), pp. 793–797.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.