299 citations
- American Rock Mechanics AssociationUS2 papers
- ETH ZurichCH2 papers
- Imperial College LondonGB2 papers
- Newcastle UniversityGB2 papers
- N. I. Lobachevsky State University of Nizhny NovgorodRU2 papers
- University College LondonGB2 papers
- University of BristolGB2 papers
- University of CambridgeGB2 papers
- University of LeicesterGB2 papers
- Beijing Institute of TechnologyCN1 paper
- Eindhoven University of TechnologyNL1 paper
- Fraunhofer Institute for Experimental Software EngineeringDE1 paper
Showing 2013Show all
2 papers · 1 filter
cs.CR2013
Automated Certification of Authorisation Policy Resistance
Andreas Griesmayer, Charles Morisset
Attribute-based Access Control (ABAC) extends traditional Access Control by considering an access request as a set of pairs attribute name-value, making it particularly useful in t…
cs.PL2013★ 10 cited
PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs
Riyadh Baghdadi, Albert Cohen, Serge Guelton +9
We motivate the design and implementation of a platform-neutral compute intermediate language (PENCIL) for productive and performance-portable accelerator programming.