L

Participantes concluíram que o sistema atual está sujeito a fraudes, e encaminharam ao TSE um memorando apoiando a transição para um sistema mais seguro

Na última quarta-feira, 17 de abril, o Instituto de Ciências Matemáticas e de Computação (ICMC) promoveu o 1.º Fórum Nacional de Segurança em Urnas Eletrônicas. O evento foi realizado no auditório Fernão Stella de Rodrigues Germano, no campus USP de São Carlos, e contou com especialistas em política e em segurança da informação, que discutiram as possibilidades tecnológicas de ocorrência de fraudes nas urnas eletrônicas utilizadas no Brasil.

Na abertura, o diretor do ICMC, José Carlos Maldonado, agradeceu a presença dos participantes e destacou a relevância do evento: "É um tema de importância nacional e mesmo internacional, pois os destinos do Brasil impactam os do mundo. O ICMC fica muito orgulhoso de sediar essa iniciativa", acrescentou.

O fórum foi iniciado com a palestra do engenheiro Amilcar Brunazo Filho, especialista em segurança de sistemas de informática e moderador do fórum VotoSeguro.org. Ele apresentou os princípios básicos de um sistema eleitoral tradicional eletrônico, e levantou o conflito entre os princípios da inviolabilidade absoluta do voto e da publicidade: “O autor do voto deve ser absolutamente secreto, mas o conteúdo do voto deve ser absolutamente público”, completou. Discorreu também sobre a disponibilidade absoluta. “É necessário que se faça um sistema seguro, mas com objetivo social. O sistema não pode falhar”.

O especialista apresentou ainda o trâmite do projeto de lei cujo artigo 5º regulamentaria o avanço da segurança das urnas brasileiras para a chamada segunda geração, permitindo a auditoria dos resultados por meio da impressão da cédula do voto, bem como suspensão sumária desse artigo pelo Tribunal Superior Eleitoral (TSE) logo após a sanção da lei, com alegações de ordem técnica e jurídica.
Ao finalizar sua apresentação, Brunazo Filho emocionou-se ao ver que a mobilização em torno da luta que há tanto tempo tem travado, até hoje com pouco apoio. “A minha expectativa é sensibilizar alguns dos que estão presentes aqui. Gostaria de ver no meio acadêmico uma iniciativa por parte de vocês”, finalizou.

Na segunda palestra, o professor Diego Aranha, da Universidade de Brasilia (UnB), apresentou os detalhes de seu relatório técnico sobre a segurança das urnas eletrônicas, resultado de testes feitos em 2012 por meio de edital do próprio TSE. Segundo o pesquisador, sua equipe conseguiu, com sucesso, atingir o nível de fraude do sistema, pois recuperou a lista de votação completa durante o tempo de análise da urna, além de descobrir que um número muito importante para decodificar todo o registro de votos era justamente a hora de inicio de operação da urna, informação pública, impressa nos boletins de urna que são enviados aos partidos.
O palestrante destacou que o TSE não considerou o ataque como sendo capaz de causar fraude, e sim de causar apenas falhas no sistema da urna, o que, segundo Aranha, não corresponde com os reais feitos de sua equipe. Os membros da banca do edital concordaram com o feito técnico da equipe da UnB e a entenderam o ataque como um sucesso na execução de fraude, demonstrando a fragilidade do sistema de segurança das urnas. Aranha informou que sua equipe apresentou um relatório técnico ao TSE para adequação de todas as irregularidades nas urnas. Segundo ele, o TSE respondeu dizendo que tais requisitos haviam sido atendidos, porém, não divulgou um boletim informando quais detalhes e procedimentos haviam sido tomados.

Da esq. para a dir.: Kalinka Castelo Branco, Diego Aranha, Mario Gazziro,
Pedro Ribeiro, Oscar Marques, Vilson Palaro Jr. e Amilcar Brunazo Filho

Mesa redonda e resultados

Após as palestras, teve início uma mesa redonda que contou com a participação de Pedro Floriano Ribeiro e Maria do Socorro Braga, pesquisadores em ciência política da Universidade Federal de São Carlos (UFSCar), Kalinka Castelo Branco e Mario Gazziro, docentes do ICMC, e Oscar Marques, do Serviço Federal de Processamento de Dados (SERPRO). Participou também do debate Vilson Palaro Junior, juíz de direito civil e juiz eleitoral de São Carlos.

Após o debate, a conclusão dos participantes do evento foi que as fraudes podem realmente acontecer, passando despercebidas pela justiça eleitoral. A partir dessa informação, um memorando de apoio ao  projeto de lei que obriga a transição para urnas de segunda geração foi preparado pelos participantes do fórum e será encaminhado ao TSE, em Brasília. O documento na íntegra está disponível em http://goo.gl/BhFgH.

A discussão deve continuar. Os organizadores pretendem realizar em 2014 um congresso nacional de segurança do voto eletrônico, com inscrição de trabalhos, estendendo o tema aos sistemas de transmissão de informações eleitorais, sistemas de totalização de votos, servidores de exibição dos resultados parciais e de pesquisas na web.

A filmagem com a íntegra das palestras e da mesa redonda do fórum está disponível no canal do ICMC no YouTube: http://youtu.be/4_706EoJMjU

Por: Maristela Galati - Assessoria de Comunicação do ICMC

Fonte: ICMC

Image courtesy: Photozone.

-

Klaus from Photozone (Click here) analyzed the Olympus 75mm f/1.8 lens performance. And the conclusion is: “The Olympus M.Zuiko 75mm f/1.8 ED is, by quite a margin, the best micro-four-thirds lens that we have tested to date.” If you know Klaus he is quite sever in his judgments. Olympus really should do more lenses like the 75mm prime!

Lens Price check: Amazon, Adorama, B&H, J&R, eBay.

And ThePhoBlographer (Click here) tested the new 17mm prime lens: “Overall, the Olympus 17mm f1.8 is a solid lens that performed well throughout this test. The autofocus speed is incredible and the overall image quality is very good. It is a bit on the pricey side when compared to the Olympus 17mm f2.8 and the Panasonic 20mm f1.7”

Lens Price check: Amazon, Adorama, B&H, J&R, eBay.

Blackmagic Pocket Cinema Camera – Market from John Brawley Tests on Vimeo.

John Brawley (Click here) had the pleasure to test the new Blackmagic Cinema Pocket Micro Four Thirds camera. And Rick Young posted a hands-on video on Vimeo (Click here). I can’t wait to see real video comparison between the Blackmagic and the GH3

We had plenty of new stuff the last few weeks. Here are some preorder links to check price specs and place your preorder:
Blackmagic Pocket Cinema camera specs and preorders at Adorama (Click here) and BHphoto (Click here).
Panasonic GF6 specs and preorders at Amazon (Click here), Adorama (Click here), BHphoto (Click here), Technikdirekt, Wex UK,
Panasonic G6 at Amazon (Click here), BHphoto (Click here), Adorama (Click here) and at Wex UK (Click here).Shipment End of June.
Panasonic 14-140mm lens at Amazon (Click here), BHphoto (Click here) and at Wex UK (Click here).
Panasonic LF1 at Amazon (Click here), BHphoto (Click here), Adorama (Click here) and at WexUK (Click here). Shipment End of June/early July.

BOSTON, Massachusetts, USA -- Wednesday, April 24th, 2013 -- Today a coalition of twenty-seven organizations released a joint letter to the World Wide Web Consortium (W3C), the Web's standards-setting body, condemning Encrypted Media Extensions (EME). EME is a proposal to incorporate support for Digital Restrictions Management (DRM) -- the systems used by media and technology companies to restrict watching, sharing, recording, and transforming digital works -- into HTML, the core language of the Web.

Open Home Control will provide a framework for creating a large network of different devices that offer AES-256 data encryption and can resend data packets when transmission is disrupted

To spur OpenFlow adoption, the Open Networking Foundation have a $50,000 prize for whoever can produce an OpenFlow driver to become an open source reference for developers and vendors

Microsoft has announced that Chinese smartphone maker ZTE has joined the list of Android manufacturers who it has signed licence agreements with over Android and Chrome OS patents. Motorola and Huawei are the last two holdouts

The Free Software Foundation Europe reports that the German Parliament has adopted a joint motion against software patents. "In the resolution, the Parliament says that patents on software restrict developers from exercising their copyright privileges, including the right to distribute their programs as Free Software. Patents help to create monopolies in the software market, and hurt innovation and job creation. The Parliament calls on the German government to make sure that Free Software development is not restricted by patents."

colinneagle writes "Verizon's 2013 Data Breach Investigation Report is out and includes data gathered by its own forensics team and data breach info from 19 partner organizations worldwide. China was involved in 96% of all espionage data-breach incidents, most often targeting manufacturing, professional and transportation industries, the report claims. The assets China targeted within those industries included laptop/desktop, file server, mail server and directory server, in order to steal credentials, internal organization data, trade secrets and system info. A whopping 95% of the attacks started with phishing to get a toehold into their victim's systems. The report states, 'Phishing techniques have become much more sophisticated, often targeting specific individuals (spear phishing) and using tactics that are harder for IT to control. For example, now that people are suspicious of email, phishers are using phone calls and social networking.' It is unknown who the nation-state actors were in the other 4% of breaches, which the report says 'may mean that other threat groups perform their activities with greater stealth and subterfuge. But it could also mean that China is, in fact, the most active source of national and industrial espionage in the world today.'" The report also notes that financially-motivated incidents primarily came from the U.S. and various Eastern European countries.

Read more of this story at Slashdot.

waderoush writes "Plenty of technology companies serve free breakfast, lunch, and dinner to their employees, but Dropcam CEO Greg Duffy says that's a form of mind control designed to get people to to work late. To keep employees happy, Duffy says, it's better to make them go home to their families for dinner. Some other suggestions from the San Francisco video monitoring startup: don't fill your engineering department with young, single, childless males (aka brogrammers). Keep your business model simple by making actual stuff that you can sell for a profit. And don't hire assholes. Why pay attention to Duffy's advice? Because Dropcam has a 100 percent employee retention rate — no one who has joined the 4-year-old company has ever left."

Read more of this story at Slashdot.

First time accepted submitter ckwu writes "Scientists once thought that pathogens could not reach drinking water wells sunk into deep, protected groundwater aquifers. Nevertheless, over the past decade, researchers have identified diarrhea-causing viruses at a handful of deep bedrock well sites in the U.S. and Europe. Now, researchers report where these pathogenic viruses may have originated. The viruses appear to seep from sewer pipes and then swiftly penetrate drinking water wells. Experts recommend that public water systems might need to start testing for viruses on a routine basis."

Read more of this story at Slashdot.

ananyo writes "Activists occupied an animal facility at the University of Milan, Italy, at the weekend, releasing mice and rabbits and mixing up cage labels to confuse experimental protocols. Researchers at the university say that it will take years to recover their work. Many of the animals at the facility are genetic models for psychiatric disorders such as autism and schizophrenia. Some of the mice removed by activists were delicate mutants and immunosuppressed 'nude' mice, which die very quickly outside controlled environments. No arrests have been made following the 12-hour drama, which took place on Saturday, although the university says that it will press charges against the protesters. The attack was staged by the animal-rights group that calls itself Fermare Green Hill (or Stop Green Hill), in reference to the Green Hill dog-breeding facility near Brescia, Italy, which it targets for closure."

Read more of this story at Slashdot.

kkleiner writes "Recently developed noodle-making robots have now been put into operation in over 3,000 restaurants in China. Invented by a noodle restaurant owner, each unibrow-sporting robot currently costs 10,000 yuan ($1,600), which is only three months wages for an equivalent human noodle cook. As the cost of the robot continues to drop, more noodle shops are bound to displace human workers for the tirelessly working cheaper robots."

Read more of this story at Slashdot.

Following their unveiling at Mobile World Congress, smartphones running Mozilla's open source OS are now available to buy online from Geeksphone. The phones are aimed at developers and interested end users

DeviceGuru tipped us to the release of the latest single board computer from Beagle Board. It's been two years since the previous BeagleBone was released, and today they've released the BeagleBone Black (including full hardware schematics) at a price competitive with the Raspberry Pi ($10 more, but it comes with a power brick). Powered by a Cortex-A8, it has 512M of DDR3 RAM, 2G of onboard eMMC, two blocks of 46 I/O pins, a pair of 32-bit DSPs, the usual USB host/client ports, Ethernet, and micro-HDMI (a much requested feature). Support is provided for Ångstrom GNU/Linux, Ubuntu, and Android out of the box. Linux Gizmos reports where some of the cost savings came from: "According to BeagleBoard.org cofounder Jason Kridner, interviewed in a Linux.com report today, cost savings also came from removing the default serial port as well as USB-to-serial and USB-to-JTAG interfaces, and including a cheaper single-purpose USB cable. (Three serial interfaces are available via the expansion headers.) In addition, the power expansion header for battery and backlight has been removed."

Read more of this story at Slashdot.

Thirty-six million Chinese kids now study classical piano, not counting string and woodwind players. Chinese parents pay for music lessons not because they expect their offspring to earn a living at the keyboard, but because they believe it will make them smarter at their studies. Are they right? And if so, why?

The intertwined histories of music and mathematics offer a clue. The same faculty of the mind we evoke playfully in music, we put to work analytically in higher mathematics. By higher mathematics, I mean calculus and beyond. Only a tenth of American high school students study calculus, and a considerably smaller fraction really learn the subject. There is quite a difference between learning the rules of Euclidean geometry or the solution of algebraic equations: the notion that the terms of a convergent infinite series sum up to a finite number requires a different kind of thinking than elementary mathematics. The same kind of thinking applies to playing classical music. Don’t look for a mathematical formula to make sense of music: what higher mathematics and classical music have in common is not an algorithm, but a similar demand on the mind. Don’t expect the brain scientists to show just how the neurons flicker any time soon. The best music evokes paradoxes still at the frontiers of mathematics.

In an essay for First Things entitled “The Divine Music of Mathematics,” just released from behind the pay wall, I show that the first intimation of higher-order numbers in mathematics in Western thought comes from St. Augustine’s 5th-century treatise on music. Our ability to perceive complex and altered rhythms in poetry and music, the Church father argued, requires “numbers of the intellect” which stand above the ordinary numbers of perception. A red thread connects Augustine’s concept with the discovery of irrational numbers in the 15th century and the invention of the calculus in the 17th century. The common thread is the mind’s engagement with the paradox of the infinite. The mathematical issues raised by Augustine and debated through the Renaissance and the 17th-century scientific revolution remain unsolved in some key respects.

theodp writes "Steinar Skipsnes came up with a unique way to get more women into tech. Make them up. Posing as 'Sarah Hanson,' a 19-year-old woman who claimed to have auctioned off 10% of her future income in return for $125,000 to fund her Senior Living Map startup, Skipsnes pitched the story via email to generate press coverage. It worked — VentureBeat, HuffPo, Yahoo!, AOL, GeekWire, and others took the bait. But after doubts were aired about the story, Skipsnes fessed up to concocting the too-good-to-be-true hoax about the female teen entrepreneur to appeal to the interests of the tech press. 'I started to think "what if I took the elements of what the press loves and created a story?"' Skipsnes explained. "So I did.'"

Read more of this story at Slashdot.

judgecorp writes "The Deputy Prime Minister, Nick Clegg, has effectively 'killed' the Communications Data Bill which would have required service providers to share personal communications data with the police. Clegg has withdrawn the support of the Liberal Democrat Party (part of the Coalition in power in the UK) from the so-called 'Snooper's Charter.' The announcement is timed to block the measure from the Queen's Speech on 8 May, which introduces the next programme of planned legislation."

Read more of this story at Slashdot.

An anonymous reader writes "Back in the '60s, Bell Labs created a 'paper computer' called CARDIAC so students could learn the fundamentals of computers. Dr. Dobb's recreates the paper computer in an Excel spreadsheet and hints they will show how it gets ported to an FPGA in future installments."

Read more of this story at Slashdot.

Russell Chozick owns a small company in Austin. TX, called Flashback Data that recovers data from messed-up hard drives. And SSDs and Flash memory, too. How badly damaged does a drive have to be to defeat Russell and his crew? Apparently, smashed to bits. Not long aqo we did a video about a company that destroys data on hard drives, and we've had at least one Ask Slashdot where the question was, "What's the Best Way To Destroy Hard Drives?" In today's video, Russell is talking about the opposite of destruction -- except that he destroys data upon request, too. Obviously, checking the wrong box on a customer order form could cause big problems at Flashback Data, couldn't it? Let's hope they never do that -- and let's hope we all back up all of our data so we never need to use a data recovery service. You do back up all your data, don't you?

Read more of this story at Slashdot.

When the journalistic world protested almost as one after the publication of the Leveson proposals to regulate the Press, others dismissed these objections on the grounds of: ‘Well, they would, wouldn’t they?’

German Parliament says: Stop Granting Software Patents

The German Parliament, the Bundestag, has introduced a joint motion against software patents. The resolution urges the German government to take steps to limit the granting of patents on computer programs.

In the resolution, the Parliament says that patents on software restrict developers from exercising their copyright privileges, including the right to distribute their programs as Free Software. They promote the creation of monopolies in the software market, and hurt innovation and job creation. [Correction 2013-04-24: Parliament did not yet adopt the motion, but rather decided to pass it to the parliament committees for further consideration.]

"Software patents are harmful in every way, and are useless at promoting innovation", says Karsten Gerloff, President of the Free Software Foundation Europe. "We urge the German government to act on this resolution as soon as possible, and relieve software developers from the needless patent-related costs and risks under which they are currently suffering."

Software patents are illegal under the European Patent Convention. Nevertheless, the European Patent Office has granted tens of thousands of patents covering software. As a result, software developers constantly risk being accused of patent infringement. This causes legal uncertainty which is costly for large companies, and potentially deadly for small ones.

The Parliament's resolution reminds the government that, under the EU's Computer Programs Directive, software is covered by copyright, not patents. It calls on the government to finally put the directive's "copyright approach" into practice, and make German law more concrete in this regard. It also points out that the restrictions which patents impose are incompatible with the most widely used Free Software licenses.

For any future initiative to reform European rules on copyright and patents, the Parliament asks the German government to make sure that developers' economic exploitation rights for their programs are not restricted by patents. The government should also push to ensure that software is covered by copyright alone, and that patent offices (including the European Patent Office) stop granting patents on software.

More information Joint Motion approved by the Bundestag (in German, PDF) Background on software patents

Support FSFE, join the Fellowship
Make a one time donation

Alegação foi de que as urnas eletrônicas brasileiras não são confiáveis porque podem ser burladas

Os votos dos 3,5 milhões de paraguaios que escolhem neste domingo (21) o novo presidente do país será manual. O Congresso do Paraguai vetou as urnas eletrônicas brasileiras que foram usadas em eleições anteriores. A alegação foi de que não são confiáveis porque podem ser burladas.

A decisão precisou ser acatada pela Justiça Eleitoral, mas gerou protestos. O Coordenador Geral das Eleições, Carlos María Ljubetic, reprovou a iniciativa dos políticos. “É um absurdo. Creio que a urna eletrônica oferece muita garantia. O resultado sai mais rápido e não há manipulação de membros da mesa”, diz. As urnas brasileiras foram usadas em três eleições no Paraguai, a última delas em um pleito municipal, em 2006.

No sistema manual, os eleitores recebem seis boletins, um correspondente a cada cargo que precisa votar. Ao final do pleito, os mensários fazem a contagem dos votos, digitam os resultados e transmitem à Justiça Eleitoral. Embora a votação seja manual, a transmissão é eletrônica.

A votação será realizada das 8 às 17h (horário brasileiro). A Justiça Eleitoral estima que o nome do novo presidente paraguaio deve ser conhecido por volta das 20h locais (21 horas no Brasil).

Pleito

No total estão habilitados 1.046 locais de votação em todo país. Cerca de 12 mil pessoas irão trabalhar nas eleições. Há ainda 58 mil membros de mesa dos partidos que estarão envolvidos no processo.

O voto no Paraguai é obrigatório e há multa para quem não comparecer às urnas. No entanto, muitos eleitores não se importam porque a sanção não é aplicada.

As últimas pesquisas apontam empate técnico entre os dois candidatos mais bem cotados, Horacio Cartes (Partido Colorado) e Efraín Alegre (Partido Liberal Radical Autêntico). Se o resultado for apertado, não se descarta a possibilidade de um dos partidos solicitar recontagem de votos, a exemplo do que ocorreu na Venezuela.

Fonte: GAZETA DO POVO

http://www.youtube.com/watch?feature=player_embedded&v=bRnnwUc-gNQ

mais um vídeo:
http://www.youtube.com/watch?feature=player_embedded&v=RmY-SbTgVCs

vejam o site:

http://reaconaria.org/ www.cienciabrasil.blogspot.com

I just watched a presentation from Mar 11, 2012, where Paul Graham / YCombinator is giving away seven billion dollar startup ideas:

1. A New Search Engine
2. Replace Email
3. Replace Universities
4. Internet Drama
5. The Next Steve Jobs
6. Bring Back Moore’s Law
7. Ongoing Diagnosis

Idea 6 on the list, is basically about the need to invent the sufficiently smart compiler, capable of understanding how to automatically break down a problem (expressed in code) into pieces which can be executed in parallell, in order to utilize GPUs and/or a lot of CPU cores.

Building such a compiler is probably extremely difficult, if at all possible, perhaps mainly due to the complexity possible to express in C, C++, Python, Java or any normal imperative language.

Imagine instead the same problem but for a declarative language like SQL. Would it be equally difficult? Core member Bruce Momjian of the PostgreSQL team have already expressed his ideas on how to tackle the problem.

When thinking about it, the query planner is a bit like a compiler, kind of. It takes the SQL and figures out a smart way to execute it, breaking it down into a lot of sub-tasks, of which some could with benefit be executed in parallel.

So let’s hope the great pg-hackers will pull this off, so we don’t have to pay some future start-up compiler-billionaire license fees to get automatic parallelism.

Greg KH has released stable kernels 3.8.8, 3.4.41, and 3.0.74. All contain important fixes.

---

The Bitcoin Kill Switch is quite alive, well, and waiting to be pressed:

“I can’t assure with 100% certainty that the all the black dots are owned by Satoshi, but almost all are owned by a single entity, and that entity began mining right from block 1, and with the same performance as the genesis block. It can be identified by constant slope segments that occasionally restart. Also this entity is the only entity that has shown complete trust in Bitcoin, since it hasn’t spend any coins (as last as the eye can see). I estimate at eyesight that Satoshi fortune is around 1M Bitcoins, or 100M USD at current exchange rate. I’m sure there will be plenty of people that will carefully analyze the source data set and come up with the exact figure, which will be very close, but nevertheless they will scream at me again.”

BITSLOG: “The Well Deserved Fortune of Satoshi Nakamoto, Bitcoin creator, Visionary and Genius.”

---

A reader from Romania, one Mircea Popescu, asked me to try out his MPEx, a stock and futures exchange working entirely in Bitcoin.  He presented me with a free account [1] containing one bitcoin, operational from Dec. 21, 2012 to Feb. 5, 2013.
…
What exactly did I do with my demo account on MPEx?  I am afraid the answer is rather boring.  Given that a single bitcoin is rather short of what one might need as collateral funds in futures trading, I focused solely on stocks.  That is to say, I picked the two best-performing stocks on MPEx and bought a small quantity of each.  These were, unsurprisingly: MPOE (MPEx’s own stock) and DICE (Satoshi Dice, a kind of casino.)  In the end, I ended up with ~1.4 BTC.  Popescu’s service works exactly as described.

“A Review of MPEx, the Bitcoin Stock Exchange.”

Sprout is a project dedicated to a nested key-value pair programming language native to the Entity Attribute Value database model. Its environment is a Relational Database Management System, specifically Postgres 9. It is implemented with Procedural SQL and employs a key-value translator vernacular to EAV data model. The model provides storage of objects, object metadata definitions and program code. Sprout executes requests via SQL client interface and returns objects of various types. It has characteristics of a column-oriented database.

Check it out!

http://www.estadao.com.br/noticias/impresso,cotas-nas-universidades-paulistas-,1021987,0.htm

Vejam como termina esse texto:

"Condicionada mais por fatores políticos do que pedagógicos, a expansão do sistema de cotas está levando os governos paulista e federal a perder o foco na rede pública do ensino superior, que deveria dar prioridade ao princípio do mérito na seleção de estudantes e lhes oferecer uma formação de qualidade."

www.cienciabrasil.blogspot.com

Microsoft has signed a patent licensing deal with Hon Hai Precision Industry, Foxconn's parent company, covering Android and Chrome OS related patents. The deal is the biggest Android licensing deal Microsoft has signed to date