Filters








9 Hits in 8.0 sec

Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components [article]

Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach
2015 arXiv   pre-print
In this work we propose a new attacker model for secure compilation that extends the well-known notion of full abstraction to ensure protection for mutually distrustful components.  ...  The monitor is implemented using a recently proposed, generic tag-based protection framework called micro-policies, which comes with hardware support for efficient caching and with a formal verification  ...  Micro-policies also allow us to support a stronger attacker model of dynamic corruption, by means of a secure compilation of mutually distrustful components.  ... 
arXiv:1510.00697v1 fatcat:pdzanfz66faohjbpnl2wcv3y7e

When Good Components Go Bad

Carmine Abate, Andrew Tolmach, Arthur Azevedo de Amorim, Roberto Blanco, Ana Nora Evans, Guglielmo Fachini, Catalin Hritcu, Théo Laurent, Benjamin C. Pierce, Marco Stronati
2018 Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security - CCS '18  
Our criterion is the first to model dynamic compromise in a system of mutually distrustful components running with least privilege.  ...  We propose a new formal criterion for secure compilation, giving strong end-to-end security guarantees for software components written in unsafe, low-level languages with C-style undefined behavior.  ...  : π Z − P π ∪ {t | ∃t∈π. t≺ P t ∨ t ≤ t} RSC DC MD : Mutually Distrustful Components RSC DC provides us with a novel model of dynamic compromise for secure compilation, but is still phrased in terms  ... 
doi:10.1145/3243734.3243745 dblp:conf/ccs/AbateABEFHLPST18 fatcat:asi2xcny3jbtrimvbqnzxoxt6q

Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation [article]

Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Boris Eng, Benjamin C. Pierce
2017 arXiv   pre-print
By breaking a large software system into mutually distrustful components that run with minimal privileges, restricting their interactions to conform to well-defined interfaces, we can limit the damage  ...  The connection to full abstraction allows us to prove SCC by adapting established proof techniques; we illustrate this with a compiler from a simple unsafe imperative language with procedures to a compartmentalized  ...  Pierce are supported by NSF award 1513854, Micro-Policies: A Framework for Tag-Based Security Monitors.  ... 
arXiv:1602.04503v6 fatcat:kpnuirmqefeqlp7hl65soaiiaa

Japan's failed revolution: Koizumi and the politics of economic reform

2003 ChoiceReviews  
Thus, decisionmaking processes for macro and micro-policies differ.  ...  As Eda puts it, with the dismissal of Tanaka, the public's feeling of distrust towards Koizumi became extraordinarily strong.  ... 
doi:10.5860/choice.41-1190 fatcat:zv3zooxz3rbm5j6iog43jnzmvm

Small Town Africa: Studies in Rural-Urban Interaction

Adrian Peace, Jonathan Baker
1991 International Journal of African Historical Studies  
As regards the second objective, the conventional approach to develop local rural and small town industries has been centred on micro-policies on the supply-side problems (credit, machinery, workshop space  ...  If this process continues, physical planning will be urgently required in order to secure a more rational use of land in rural areas.  ...  The town has provided the focal point of interaction for a rural population of a wide complexity.  ... 
doi:10.2307/219834 fatcat:e62m5fomt5ajxgvskqyfq5sv7a

Small Town Africa: Studies in rural-urban interaction

ANTHONY O'CONNOR
1992 African Affairs  
As regards the second objective, the conventional approach to develop local rural and small town industries has been centred on micro-policies on the supply-side problems (credit, machinery, workshop space  ...  If this process continues, physical planning will be urgently required in order to secure a more rational use of land in rural areas.  ...  The town has provided the focal point of interaction for a rural population of a wide complexity.  ... 
doi:10.1093/oxfordjournals.afraf.a098505 fatcat:xekgr3embjcg7jbfnxjda6ylkq

J. Baker (ed.), Small Town Africa: studies in rural-urban interaction. Seminar Proceedings 23, Uppsala: Scandinavian Institute of African Studies, 1990, 268 pp

Debbie Potts
1993 Africa - Journal of the International African Institute  
As regards the second objective, the conventional approach to develop local rural and small town industries has been centred on micro-policies on the supply-side problems (credit, machinery, workshop space  ...  If this process continues, physical planning will be urgently required in order to secure a more rational use of land in rural areas.  ...  The town has provided the focal point of interaction for a rural population of a wide complexity.  ... 
doi:10.2307/1161308 fatcat:cebtgq26wfc6dgqhkj3jwa5npq

Small town Africa: studies in rural-urban interaction

1991 ChoiceReviews  
As regards the second objective, the conventional approach to develop local rural and small town industries has been centred on micro-policies on the supply-side problems (credit, machinery, workshop space  ...  If this process continues, physical planning will be urgently required in order to secure a more rational use of land in rural areas.  ...  The town has provided the focal point of interaction for a rural population of a wide complexity.  ... 
doi:10.5860/choice.28-5784 fatcat:rgcwvwkiangcxf7ntse5bhq3xe

ReceRca Revista de pensament i anàlisi

Núm, Dra González, Esteban, Begoña García, Ana Giménez, Adelantado, Juncal Caballero Guiral, Fermín Bouza Álvarez, María Das, Dores Guerreiro, Duque Félix, Universidad Pajuelo (+4 others)
2011 unpublished
abstract The Roma are a minority present for six centuries in Europe.  ...  The most direct consequences of this lack of communication are the mutual defensiveness of the opposing groups, and the arousal of distrust provoked by fear.  ...  realidad desde la década de los ochenta, y no en solitario como señala en el prólogo en el que encontramos palabras de agradecimiento hacia los que han compartido con él este camino: una vida dedicada a  ... 
fatcat:hg4gowrls5hn5koqb2lt54g2bq